rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
trev_ has joined #ocaml
Techcable has quit [Ping timeout: 252 seconds]
Techcable has joined #ocaml
bartholin has joined #ocaml
mro has joined #ocaml
Tuplanolla has joined #ocaml
azimut has joined #ocaml
Serpent7776 has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
podge has joined #ocaml
olle has joined #ocaml
Haudegen has joined #ocaml
mro has quit [Quit: Leaving...]
podge has quit [Ping timeout: 272 seconds]
trev_ is now known as trev
trev has quit [Changing host]
trev has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
olle has quit [Ping timeout: 246 seconds]
jlrnick has joined #ocaml
gwizon has quit [Quit: Lost terminal]
count3rmeasure has joined #ocaml
olle has joined #ocaml
xd1le has quit [Quit: xd1le]
jlrnick has quit [Ping timeout: 264 seconds]
olle has quit [Ping timeout: 252 seconds]
spip has joined #ocaml
bobo has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
Stumpfenstiel has joined #ocaml
olle has joined #ocaml
<olle>
I'm so stuck with this generic inference crap
<olle>
The enough info is obviously in the ast, but for some reason I can't it to happen in the right order
<olle>
Maybe I need a separate pass for generics? Or the other way around? Hm.
<olle>
How many passes are inside OCaml to infer types?
Stumpfenstiel has quit [Quit: No Ping reply in 180 seconds.]
Stumpfenstiel has joined #ocaml
jao has joined #ocaml
rgrinberg has quit [Ping timeout: 268 seconds]
rgrinberg has joined #ocaml
alexherbo2 has joined #ocaml
<olle>
Hm
podge has joined #ocaml
podge has quit [Quit: Konversation terminated!]
kurfen has joined #ocaml
kurfen_ has quit [Ping timeout: 264 seconds]
<olle>
Maybe a global namespace for type variables would solve it...
<companion_cube>
Did you read papers on type inference? OCaml does it in one pass
John_Ivan has quit [Read error: Connection reset by peer]
John_Ivan has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
_whitelogger has joined #ocaml
<olle>
companion_cube: Long time ago I copy-pasted some algorithm to use in an earlier compiler project, but this time I wanted to just "keep it simple" xD
<olle>
Famous last words of course
<olle>
One pass eh, good info
<olle>
I did made some progress now. I was also working at the wrong part of the code (infer statement instead of infer expression, facepalm)
trev has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Myrl has joined #ocaml
alexherbo2 has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
troydm has quit [Ping timeout: 268 seconds]
waleee has joined #ocaml
rgrinberg has joined #ocaml
troydm has joined #ocaml
barak has joined #ocaml
barak_ has joined #ocaml
barak_ has quit [Remote host closed the connection]
anpad has quit [Ping timeout: 252 seconds]
barak has quit [Client Quit]
barak has joined #ocaml
anpad has joined #ocaml
spip has quit [Quit: Konversation terminated!]
jlrnick has joined #ocaml
spip has joined #ocaml
barak has quit [Ping timeout: 268 seconds]
alexherbo2 has quit [Remote host closed the connection]
humasect has joined #ocaml
humasect has quit [Read error: Connection reset by peer]
humasect has joined #ocaml
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
brettgilio has quit [Ping timeout: 272 seconds]
xgqt has quit [Ping timeout: 260 seconds]
xgqt has joined #ocaml
jlrnick has quit [Ping timeout: 252 seconds]
anpad has quit [Ping timeout: 268 seconds]
anpad has joined #ocaml
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
count3rmeasure has quit [Quit: Leaving]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]