_fab has quit [Read error: 113 (No route to host)]
pango_ has quit [Remote closed the connection]
pango has joined #ocaml
srv_ has joined #ocaml
srv has quit [Read error: 232 (Connection reset by peer)]
Herrchen has joined #ocaml
kinners has joined #ocaml
pango has quit [Nick collision from services.]
pango_ has joined #ocaml
lam_ has joined #ocaml
lam_ has quit [Client Quit]
eugos has joined #ocaml
pango_ has quit [Read error: 110 (Connection timed out)]
<eugos>
What does this notation mean: type foo = [ `Foo | `Bar ];; ? With square brackets and back apostrophe. Noticed in LablTk documentation.
<eugos>
Firstly, I decided it is the revised syntax, but it would be strange to have it in the standard documentation. Moreover, ocaml top understands it as standard. So, I'm puzzled :(
malte_ is now known as malte
karryall has joined #ocaml
<beschmi>
eugos: look up polymorphic variants in the manual
Banana has quit [Read error: 104 (Connection reset by peer)]
ctr has joined #ocaml
<ctr>
y0
<ctr>
how can I define a type where part of the type is a hashtbl ?
<ctr>
I have tried
<ctr>
type binding = Binding of string * ('a,'b') t
<ctr>
but that aint going to happen
<eternite>
type ('a,'b) binding = Binding of string * ('a,'b') Hashtbl.t
<eternite>
type ('a,'b) binding = Binding of string * ('a,'b) Hashtbl.t
<ctr>
k
budjet has quit [Remote closed the connection]
monochrom has joined #ocaml
Nutssh has joined #ocaml
budjet has joined #ocaml
budjet has quit [Remote closed the connection]
docelic has quit [Read error: 60 (Operation timed out)]
gpciceri has joined #ocaml
docelic has joined #ocaml
Nutssh has quit [Excess Flood]
Nutssh has joined #ocaml
buggs^z has joined #ocaml
<gpciceri>
hi all, anyone here want to help me debugging an inconsistent interface situation ?
<eternite>
yep
<Nutssh>
Whats the compiler say are the inferred types?
buggs has quit [Read error: 60 (Operation timed out)]
eugos has joined #ocaml
<Nutssh>
'ocamlc -i file.ml'
<eternite>
Have you try " make clean && make " ?
<gpciceri>
THX, I've done all the make clean
<gpciceri>
I was able to find
<gpciceri>
but I suppose this is a case of name clashing
<gpciceri>
well, let me show what I'm trying to do...
buggs^z is now known as buggs
<gpciceri>
I'm trying to build an example included in xml-rpc distribution
<gpciceri>
xml-rpc depends on netclient, that define Http_client
<gpciceri>
but the sample I'm trying to buind, add_httpd
<gpciceri>
requires Ocaml-http package, that defines Http_client, too
<gpciceri>
so I take the error
<gpciceri>
Files ../xmlrpc.cma(XmlRPCNet)
<gpciceri>
and /usr/local/lib/ocaml/site-lib/http/http.cma(Http_client)
<gpciceri>
make inconsistent assumptions over interface Http_client
<Nutssh>
Sounds like they've been compiled against different versions of Http_client.
<eternite>
Could you put the functions you need in a module with a different name ?
<gpciceri>
yes, both Ocaml-http and ocaml-xml-rpc defines Http_client
<Nutssh>
Ah!
<gpciceri>
no sorry, ocaml-xml-rpc requires netclient that defines Http_client
docelic has quit [Read error: 104 (Connection reset by peer)]
<gpciceri>
o.k., now that I've understood where is the problem, how can I say to my program to choose an Http_client implementation and not the other ?
<eternite>
on the command line don't put the other
<eternite>
or
<eternite>
begin your programme with
<eternite>
module X = Http_client
<eternite>
Compile this in a .cma
<eternite>
then only use module X and the other module http_client
<eternite>
I never try ;)
<gpciceri>
in my site-lib directory, one is netclient/http_client.cmi and another is http/http_client.cmi
eugos has quit ["Leaving"]
docelic has joined #ocaml
<gpciceri>
yes, I've renamed ocaml-http http_client.* to http_pclient.* and all it's o.k.
cjohnson has quit [Read error: 232 (Connection reset by peer)]
cjohnson has joined #ocaml
gpciceri has quit ["Leaving"]
Anvil_Vapre has joined #ocaml
eternite has left #ocaml []
gld has quit [Read error: 110 (Connection timed out)]
<dan2>
what do you use ocaml functors for?
<mattam>
structures and algoritmhs which are parametrized by other structures. Like an algorithm that can work on different impls of a directed graph
<dan2>
oh I see
eugos has joined #ocaml
<dan2>
mattam: how do I find the type of something in within an ocaml function
<mattam>
no way
<mattam>
that's sort of the point of strong static typing
Nutssh has quit [Read error: 104 (Connection reset by peer)]
<mattam>
if you exhibit an example where you need it and can't do it with what is present you'd be helpfull to us :)
Anvil_Vapre has quit [Client Quit]
Anvil_Vapre has joined #ocaml
Herrchen has quit ["bye"]
m3ga has joined #ocaml
mlh has joined #ocaml
cjohnson has quit [sendak.freenode.net irc.freenode.net]
cjohnson has joined #ocaml
m3ga has left #ocaml []
Nutssh has joined #ocaml
eugos has quit ["Leaving"]
Nutssh has quit [Read error: 104 (Connection reset by peer)]