meritamen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bartholin has joined #ocaml
meritamen has joined #ocaml
jlrnick has joined #ocaml
jlrnick has quit [Ping timeout: 256 seconds]
jlrnick has joined #ocaml
meritamen has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
meritamen has joined #ocaml
cr1901_ has joined #ocaml
cr1901 has quit [Ping timeout: 260 seconds]
cr1901_ is now known as cr1901
meritamen has quit [Quit: I gotta go.]
mro has joined #ocaml
azimut has joined #ocaml
patrick__ has quit [Read error: Connection reset by peer]
immutable_ has quit [Write error: Connection reset by peer]
kuruczgy has quit [Read error: Connection reset by peer]
b0o has quit [Read error: Connection reset by peer]
migalmoreno has quit [Read error: Connection reset by peer]
arya_elfren has quit [Read error: Connection reset by peer]
pluviaq has quit [Remote host closed the connection]
ggb has quit [Read error: Connection reset by peer]
Ankhers has quit [Read error: Connection reset by peer]
brettgilio has quit [Write error: Connection reset by peer]
richardhuxton has quit [Write error: Connection reset by peer]
ymherklotz has quit [Write error: Connection reset by peer]
jakzale has quit [Write error: Connection reset by peer]
soni__ has quit [Read error: Connection reset by peer]
philipwhite_ has quit [Write error: Connection reset by peer]
sleepydog has quit [Remote host closed the connection]
henrytill has quit [Write error: Connection reset by peer]
seeg has quit [Read error: Connection reset by peer]
toastal has quit [Read error: Connection reset by peer]
whereiseveryone has quit [Write error: Connection reset by peer]
_alix has quit [Write error: Connection reset by peer]
patrick__ has joined #ocaml
pluviaq has joined #ocaml
philipwhite has joined #ocaml
ggb has joined #ocaml
richardhuxton has joined #ocaml
ymherklotz has joined #ocaml
brettgilio has joined #ocaml
_alix has joined #ocaml
b0o has joined #ocaml
whereiseveryone has joined #ocaml
jakzale has joined #ocaml
arya_elfren has joined #ocaml
henrytill has joined #ocaml
migalmoreno has joined #ocaml
Ankhers has joined #ocaml
kuruczgy has joined #ocaml
immutable has joined #ocaml
toastal has joined #ocaml
sleepydog has joined #ocaml
soni_ has joined #ocaml
seeg has joined #ocaml
meritamen has joined #ocaml
kurfen has quit [Read error: Connection reset by peer]
kurfen has joined #ocaml
azimut_ has joined #ocaml
azimut has quit [Ping timeout: 240 seconds]
edr has joined #ocaml
waleee has joined #ocaml
omegatron has joined #ocaml
<discocaml>
<deepspacejohn> I've noticed that odoc doesn't seem to infer polymorphic type variables correctly when it processes an .ml with no .mli. I don't see any open issues that mention it. Is this a known issue, or am I just missing something?
<discocaml>
<deepspacejohn> As a trivial example, this ml code `let f x = x` will generate `val f : 'a -> 'b` in odoc. It also mangles locally abstract types.
meritamen has quit [Quit: I gotta go.]
yewscion has joined #ocaml
meritamen has joined #ocaml
meritamen has quit [Remote host closed the connection]
yewscion has quit [Ping timeout: 260 seconds]
<discocaml>
<kakadu18> Do you know any analogues of dune's cram test in the Python infrastructure or C++/Cmake one? (slightly offtopic)
<discocaml>
<deepspacejohn> I believe that the original cram test implementation is in Python and Dune copied it from there. That being said, I haven't personally used the Python one and I'm unaware of any others. https://bitheap.org/cram/
<discocaml>
<kakadu18> thanks!
Ekho has quit [Quit: CORE ERROR, SYSTEM HALTED.]
Ekho has joined #ocaml
average has joined #ocaml
oriba has joined #ocaml
azimut_ has quit [Ping timeout: 240 seconds]
azimut has joined #ocaml
bartholin has quit [Quit: Leaving]
yewscion has joined #ocaml
yewscion has quit [Remote host closed the connection]
yewscion has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
yewscion has quit [Remote host closed the connection]
yewscion has joined #ocaml
yewscion has quit [Remote host closed the connection]
yewscion has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
mro has joined #ocaml
yewscion_ has joined #ocaml
yewscion has quit [Ping timeout: 260 seconds]
Serpent7776 has joined #ocaml
jlrnick has quit [Ping timeout: 260 seconds]
average has quit [Quit: Connection closed for inactivity]
average has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
yewscion_ has quit [Ping timeout: 245 seconds]
yewscion_ has joined #ocaml
Tuplanolla has joined #ocaml
mro has joined #ocaml
bartholin has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
jlrnick has joined #ocaml
kurfen has quit [Ping timeout: 260 seconds]
kurfen has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
trev has quit [Quit: trev]
jlrnick has quit [Ping timeout: 268 seconds]
yewscion_ has quit [Remote host closed the connection]
yewscion_ has joined #ocaml
mro has quit [Quit: Leaving]
Serpent7776 has quit [Ping timeout: 252 seconds]
omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]