Banana changed the topic of #ocaml to: OCaml 3.08.1 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
mfurr has joined #ocaml
mrsolo has quit ["Leaving"]
m3ga has joined #ocaml
m3ga has left #ocaml []
GreyLensman has joined #ocaml
shawn has quit ["Leaving"]
mfurr has quit ["work"]
zardon has left #ocaml []
monochrom has quit ["Don't talk to those who talk to themselves."]
GreyLensman has quit ["Leaving"]
mrsolo has joined #ocaml
_fab has quit [Read error: 110 (Connection timed out)]
mrsolo has quit ["Leaving"]
_fab has joined #ocaml
cjohnson has quit ["Leaving"]
shawn has joined #ocaml
rhw has joined #ocaml
vezenchio has quit ["I thought what I'd do was, I'd pretend to be one of those deaf-mutes"]
rhw has quit [Read error: 232 (Connection reset by peer)]
_fab has quit [sendak.freenode.net irc.freenode.net]
_fab has joined #ocaml
rhw has joined #ocaml
rhw has quit [Connection timed out]
_fab has quit [sendak.freenode.net irc.freenode.net]
_fab has joined #ocaml
mrsolo has joined #ocaml
mrsolo_ has joined #ocaml
mrsolo has quit [Read error: 113 (No route to host)]
fab_ has joined #ocaml
mrsolo_ has quit [Read error: 232 (Connection reset by peer)]
mrsolo_ has joined #ocaml
Lemmih_ has quit ["Haskell - www.haskell.org"]
_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
<beschmi> there is a nice paper about using them
<eugos> beschmi, thank you very much
pango has joined #ocaml
malte has quit [Read error: 104 (Connection reset by peer)]
fab_ has quit []
kinners has quit ["leaving"]
cjohnson has joined #ocaml
mlh has joined #ocaml
budjet has joined #ocaml
docelic has joined #ocaml
avlondono has quit ["leaving"]
docelic has quit [Read error: 113 (No route to host)]
dozer has joined #ocaml
<dozer> I thought I'd better learn ocaml
<dozer> I'm reading the user manual
<dozer> can you reccomend a lighter tutorial for getting started?
<Smerdyakov> You mean "lighter" than the manual's tutorial?
budjet has quit [Remote closed the connection]
docelic has joined #ocaml
<dozer> ocaml03.08-refman.pdf
malte has joined #ocaml
zigong has quit [Remote closed the connection]
zigong has joined #ocaml
docelic has quit [Read error: 104 (Connection reset by peer)]
<karryall> dozer: see the tutorial in the channel's topic
<dozer> karryall: will do
docelic has joined #ocaml
budjet has joined #ocaml
_fab has joined #ocaml
budjet has quit [Remote closed the connection]
mlh has quit [Client Quit]
karryall has quit ["tcho"]
ctr- has joined #ocaml
<ctr-> given two values of the same type how hard is it to check if they have the same consutrcutor ?
<Smerdyakov> It's easy. Use pattern matching. There is no polymorphic way to do this, though.
<ctr-> damn
<Smerdyakov> Why is that a problem?
<ctr-> so it's a case of embeded match expressions ?
<Smerdyakov> I would define a new variant type of tags.
<Smerdyakov> Then I'd write a function from your original type to these tags.
<Smerdyakov> Call the function on both values and compare the returns with =.
<ctr-> nice thinking
<ctr-> sorry
<ctr-> I am new to ocaml
<ctr-> and I am still trying to work out how to do what I want to do
eugos has quit ["Leaving"]
eternite has joined #ocaml
<eternite> Hello evrybody!
<Smerdyakov> Wow! It's eternite! I want his autograph!
<eternite> :)
<eternite> I have an huge problem between Ocaml and C.
<eternite> I have put some information here : http://eternite.is-a-geek.org/~kevin/libqt/current_problem/index.xml
<eternite> The main problem is: how take a pointeur on a Caml function (not value) in a C code
<eternite> ?
<ctr-> erm
<ctr-> there isn't anything at that url
<eternite> Is this one ok ?
<malte> both works for me
budjet has joined #ocaml
det has quit [Read error: 110 (Connection timed out)]
det has joined #ocaml
Lemmih_ has joined #ocaml
<Robert> Look, Lemmih_ is getting dirty!
<Lemmih_> I am?
<Lemmih_> I've been hanging out in here for a long time.
<Robert> Hm.. Maybe you have. The sin is old. :(
rhw has joined #ocaml
budjet has quit [Remote closed the connection]
vezenchio has joined #ocaml
ctr- has quit [Read error: 60 (Operation timed out)]
rhw has quit ["http://cppcorner.3x.ro"]
pango has quit [Nick collision from services.]
pango_ has joined #ocaml
budjet has joined #ocaml
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)]
Nutssh has joined #ocaml
GreyLensman has joined #ocaml