nikitalocalhost has quit [Ping timeout: 256 seconds]
Tuplanolla has joined #ocaml
bartholin has quit [Quit: Leaving]
nikitalocalhost has joined #ocaml
nlocalhost has quit [Ping timeout: 246 seconds]
mro has quit [Remote host closed the connection]
neiluj has joined #ocaml
olle has joined #ocaml
nlocalhost has joined #ocaml
mro has joined #ocaml
nikitalocalhost has quit [Ping timeout: 252 seconds]
<neiluj>
Hello! I have a functor of the form module Make (A: A_sig) (B : val foo: A.t -> int) : B_sig where B contains abstract type B.t, when I instantiate: A_inst : B_sig with type t = A.t = Make(A)(B) I get an incompatibility with abstract type B_sig.t and A.t
<neiluj>
sorry: module Make (A: A_sig) (B : val foo: A.t -> int) : C_sig
<neiluj>
C_inst : C_sig with type t = A.t = Make(A)(B)
kakadu has joined #ocaml
<neiluj>
ah I had to specify the with type t = A.t in the module definition, like so: Make (A: A_sig) (B : val foo: A.t -> int) : C_sig with type t = A.t
mro has quit [Quit: Leaving...]
spip has joined #ocaml
troydm has joined #ocaml
neiluj has quit [Ping timeout: 252 seconds]
wingsorc has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
neiluj has joined #ocaml
xgqt has quit [Ping timeout: 256 seconds]
xgqt has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
neiluj has quit [Ping timeout: 260 seconds]
neiluj has joined #ocaml
TakinOver has quit [Ping timeout: 260 seconds]
TakinOver has joined #ocaml
troydm has quit [Ping timeout: 246 seconds]
neiluj has quit [Ping timeout: 264 seconds]
neiluj has joined #ocaml
Haudegen has joined #ocaml
neiluj has quit [Ping timeout: 256 seconds]
quernd has quit [Quit: Ping timeout (120 seconds)]
quernd has joined #ocaml
azimut has joined #ocaml
jao has joined #ocaml
mro has joined #ocaml
neiluj has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
neiluj has quit [Quit: WeeChat 3.6]
Haudegen has quit [Quit: Bin weg.]
nd__ has quit [Ping timeout: 260 seconds]
mro has joined #ocaml
podge has quit [Quit: Konversation terminated!]
bgs has joined #ocaml
mro has quit [Remote host closed the connection]
Haudegen has joined #ocaml
terrorjack has quit [Ping timeout: 256 seconds]
nd__ has joined #ocaml
terrorjack has joined #ocaml
Serpent7776 has quit [Ping timeout: 256 seconds]
nd__ has quit [Ping timeout: 248 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
nd__ has joined #ocaml
nd__ has quit [Ping timeout: 260 seconds]
mro has joined #ocaml
troydm has joined #ocaml
nd__ has joined #ocaml
nd__ has quit [Ping timeout: 252 seconds]
nd__ has joined #ocaml
nd__ has quit [Ping timeout: 248 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Read error: Connection reset by peer]
mro_ has joined #ocaml
<olle>
Hm for menhir parsing obj->prop and obj->method() with parans
<olle>
It eats eagerly right?
<olle>
Or longest parsing rules first?
rgrinberg has joined #ocaml
mro_ has quit [Remote host closed the connection]
nd__ has joined #ocaml
mro has joined #ocaml
trev has quit [Remote host closed the connection]
nd__ has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
waleee has joined #ocaml
nd__ has joined #ocaml
mro has quit [Quit: Leaving...]
waleee has quit [Ping timeout: 246 seconds]
Stumpfenstiel has joined #ocaml
nd__ has quit [Ping timeout: 248 seconds]
<olle>
Fixed, had a problem in the ast
jao has quit [Ping timeout: 260 seconds]
nd__ has joined #ocaml
darchitect has joined #ocaml
waleee has joined #ocaml
nd__ has quit [Ping timeout: 246 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
nd__ has joined #ocaml
bartholin has joined #ocaml
nd__ has quit [Ping timeout: 260 seconds]
jao has joined #ocaml
waleee has quit [Ping timeout: 264 seconds]
waleee has joined #ocaml
rgrinberg has quit [Ping timeout: 268 seconds]
rgrinberg has joined #ocaml
waleee has quit [Ping timeout: 264 seconds]
nd__ has joined #ocaml
bartholin has quit [Quit: Leaving]
nd__ has quit [Ping timeout: 264 seconds]
genpaku has quit [Remote host closed the connection]
Tuplanolla has quit [Quit: Leaving.]
genpaku has joined #ocaml
wingsorc has joined #ocaml
waleee has joined #ocaml
olle has quit [Ping timeout: 260 seconds]
Stumpfenstiel has quit [Ping timeout: 246 seconds]