mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
david_koontz has joined #ocaml
ita has quit ["Hasta luego!"]
CRathman has joined #ocaml
darinm has joined #ocaml
darinm_ has joined #ocaml
smimou has quit ["bli"]
azoic has left #ocaml []
darinm has quit [Read error: 110 (Connection timed out)]
darinm_ has quit [Read error: 110 (Connection timed out)]
darinm has joined #ocaml
darinm has quit [Client Quit]
darinm has joined #ocaml
CRathman has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
loufoque has quit ["Quitte"]
Mr_Awesome has joined #ocaml
darinm has quit []
david_koontz has quit []
darinm has joined #ocaml
darinm has quit []
CRathman has joined #ocaml
jlouis_ has joined #ocaml
darinm has joined #ocaml
darinm has quit [Client Quit]
jlouis has quit [Read error: 110 (Connection timed out)]
darinm has joined #ocaml
darinm has quit [Remote closed the connection]
ygrek has joined #ocaml
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
CRathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.8/2007100816]"]
mrsolo has joined #ocaml
EliasAmaral has joined #ocaml
ygrek has quit [Remote closed the connection]
seafoodX has joined #ocaml
ygrek has joined #ocaml
DT has joined #ocaml
<DT> hi
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
pango has quit ["I shouldn't really be here - dircproxy 1.0.5"]
mrsolo has quit ["Leaving"]
pango has joined #ocaml
<DT> Has anyone played with look-ahead in Yacc or Menhir ?
* DT needs it to implement a specification.
Mr_Awesome has joined #ocaml
tristram has joined #ocaml
bluestorm_ has joined #ocaml
filp has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
filp has quit ["Bye"]
<tristram> hello, I didn't use ocaml since 2003, and I was wondering about some progress editors; I loved tuareg, but I don't like emacs :þ is there something similair (good syntax hl/indent beeing easily able to send a function to caml shell)
<EliasAmaral> i am in the same situation, tristram. i just sticked with gedit
<EliasAmaral> basically because i am pretty lazy
<DT> I haven't found anything better, I'm afraid.
<DT> There's an OCaml plug-in for Eclipse, but it's quite limited for the moment.
<DT> KDevelop does have very limited support for OCaml, too.
<DT> Unrelated question: in Yacc or others of the same ilk, does anyone know how to determine if the next token is *not* something ?
<tristram> for eclipse I tried odt (seemed a bit limited) and ocaide (has some bug so I can't use it); anyway I would enjoy something more lightweighted :(
<DT> There's also Camelia, it's quite nice, but it's very beginner-oriented.
<tristram> ok, thanks; i'll probably stick to vim then
pango has quit [Remote closed the connection]
seafoodX has quit []
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
filp has joined #ocaml
kelaouchi has joined #ocaml
pango has joined #ocaml
<DT> Still no-one proficient with Yacc or Menhir ?
<tristram> sorry i'm not at all
* DT is convinced there must be a way to look at the next token without consuming it.
kelaouch1 has quit [Read error: 110 (Connection timed out)]
bluestorm_ has joined #ocaml
bla has quit [Read error: 113 (No route to host)]
ygrek has quit [Remote closed the connection]
magius_pendragon has quit ["leaving"]
ygrek has joined #ocaml
gaja has quit ["leaving"]
seafoodX has joined #ocaml
vorago has joined #ocaml
joshcryer has quit [Read error: 104 (Connection reset by peer)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
seafoodX has quit []
garfiel59 has joined #ocaml
gaja has joined #ocaml
gaja has quit [Client Quit]
gaja has joined #ocaml
CRathman has joined #ocaml
mrsolo has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
kelaouch1 has joined #ocaml
kelaouchi has quit [Read error: 113 (No route to host)]
DT has quit ["Ex-Chat"]
piggybox__ has joined #ocaml
DT has joined #ocaml
piggybox_ has quit [Connection timed out]
filp has quit [Remote closed the connection]
<DT> By any chance, is there any pro of yacc, menhir or ulex around here ?
smimou has joined #ocaml
smimou has quit [Client Quit]
smimou has joined #ocaml
Torment has joined #ocaml
cmeme has quit [Excess Flood]
cmeme has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
garfiel59 has quit ["KVIrc 3.2.0 'Realia'"]
rogo has joined #ocaml
jlouis has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
bluestorm_ has joined #ocaml
beschmi has joined #ocaml
<hcarty> Is there a way to tell findlib to install to and look for packages in a specific location?
<hcarty> ex. ocaml and friends installed under /usr/... and some libraries installed in $HOME/...
aij has quit [Read error: 110 (Connection timed out)]
leo037 has joined #ocaml
jlouis_ has joined #ocaml
lde`` has joined #ocaml
darinm has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
beschmi has quit [Read error: 113 (No route to host)]
leo037 has quit ["Leaving"]
Mr_Awesome has joined #ocaml
lde` has quit [Connection timed out]
kelaouchi has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
DT has quit ["Ex-Chat"]
jlouis_ has quit ["leaving"]
lde`` is now known as lde
ygrek has quit [Remote closed the connection]
jlouis has joined #ocaml
kelaouch1 has quit [Read error: 110 (Connection timed out)]
jonathanv has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
darinm has quit []
loufoque has joined #ocaml
<loufoque> I've got files a.ml/a.mli and b.ml/b.mli. a.mli defines a type 't' along with a function 'f1' that returns a 't'. b.ml/b.mli defines a function 'f2' that returns an A.t. a.ml defines f1 by calling B.f2. And I get a ununderstandable error in a.ml: t and A.t do not match.
<loufoque> can anyone tell me how to fix that?
<loufoque> (do I need to provide code, which is more explicit?)
<loufoque> actually I made a testcase and it works.
darinm has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
<loufoque> it seems the issue only happens if t is a record
loufoque has quit [Read error: 104 (Connection reset by peer)]
loufoque has joined #ocaml
darinm_ has joined #ocaml
darinm_ has quit [Remote closed the connection]
<loufoque> here is an example
<loufoque> i don't understand why it doesn't work with a record type while it works with other types, like int*int*int
darinm has quit [Read error: 110 (Connection timed out)]
<loufoque> if anyone can explain me what's wrong, that would be nice
EliasAmaral has quit [Remote closed the connection]
mrsolo has quit ["Leaving"]
<loufoque> I mean this, not the one before
<Smerdyakov> loufoque, it would be awfully suspicious for it to lead to a final program in any case, since you have a dependency cycle between A and B.
<loufoque> how so? b is just used to implement a
<loufoque> I didn't even put the implementation of b here since it's not relevant
<loufoque> could simply return an empty t
<Smerdyakov> B depends on the implementation of A.
<Smerdyakov> The mention of A in b.ml refers to the implementation of A, not the interface.
<Smerdyakov> .mli files generate un-referenceable contents.
<loufoque> in my second link (the correct one), the t type is exhibed in a.mli