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)]
<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.