paladox19 has quit [Remote host closed the connection]
silver has joined #ocaml
* wilfredh
wonders if that's a consequence of ocaml's design or just a limitation from the implementation
<companion_cube>
I'm not sure
<wilfredh>
in my sample code, it's still exhaustive, but maybe there are more complex situations where you can't check exhaustivity
<ggole>
guards aren't meaningfully checked for exhaustivity, it's just assumed that they could go either way
<ggole>
eg, if you write match foo with x when x >= 0 -> ... | x when x < 0, you will get a warning
<zozozo>
in those cases, i usually put the second guard in comments, so that the compiler is happy, but you have the guard in mind when reading the code
quipa has joined #ocaml
<ggole>
An assertion is also good for that (although more verbose)
<companion_cube>
I use an assertion
<companion_cube>
| _ -> assert (x<0); …
Bronsa has joined #ocaml
infinity0 has joined #ocaml
ggole has quit [Ping timeout: 252 seconds]
slamzy has quit [Remote host closed the connection]
ggole has joined #ocaml
ziyourenxiang has quit [Ping timeout: 250 seconds]
infinity0 has quit [Read error: Connection reset by peer]
infinity0 has joined #ocaml
silenc3r has quit [Remote host closed the connection]
silenc3r has joined #ocaml
env__ has quit [Ping timeout: 245 seconds]
silenc3r has quit [Remote host closed the connection]
bartholin has joined #ocaml
silver has quit [Quit: rakede]
jao has joined #ocaml
slamzy has joined #ocaml
Guest511 has joined #ocaml
Guest511 has quit [Remote host closed the connection]
Guest511 has joined #ocaml
env__ has joined #ocaml
Guest511 has quit [Remote host closed the connection]
env__ has quit [Ping timeout: 246 seconds]
sagotch has quit [Quit: Leaving.]
Algebr has joined #ocaml
Algebr has quit [Remote host closed the connection]
chjk6x has joined #ocaml
fraxamo has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
quipa has quit [Remote host closed the connection]
jnavila has joined #ocaml
silenc3r has joined #ocaml
ggole has quit [Quit: ggole]
ygrek has joined #ocaml
Jesin has quit [Quit: Leaving]
kakadu has quit [Remote host closed the connection]
Jesin has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
jaar has quit [Quit: Leaving]
Algebr has joined #ocaml
slamzy has quit [Ping timeout: 256 seconds]
freyr69 has joined #ocaml
<freyr69>
Is flambda on by default on latest compilers?
nullifidian_ has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
<octachron>
no
mengu has joined #ocaml
env__ has joined #ocaml
kakadu has joined #ocaml
jnavila has quit [Ping timeout: 268 seconds]
jnavila has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
fraxamo has quit [Quit: Leaving]
silenc3r has quit [Remote host closed the connection]
mengu_ has joined #ocaml
tane has joined #ocaml
mengu has quit [Ping timeout: 250 seconds]
gareppa has joined #ocaml
gravicappa has quit [Ping timeout: 250 seconds]
spew has quit [Quit: going home]
Algebr has quit [Ping timeout: 250 seconds]
Guest15957 has joined #ocaml
Guest15957 has quit [Ping timeout: 250 seconds]
orbifx has joined #ocaml
<orbifx>
hello all
bartholin has quit [Remote host closed the connection]
gareppa has quit [Quit: Leaving]
jbkcc has joined #ocaml
Guest15957 has joined #ocaml
Guest15957 has quit [Remote host closed the connection]
Algebr` has joined #ocaml
kalloc has joined #ocaml
kakadu has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 246 seconds]
env__ has quit [Ping timeout: 240 seconds]
env__ has joined #ocaml
groovy2shoes has quit [Quit: moritura te salutat]
tane has quit [Quit: Leaving]
nahra has joined #ocaml
orbifx has quit [Ping timeout: 268 seconds]
zmt00 has quit [Ping timeout: 252 seconds]
zmt00 has joined #ocaml
freyr69 has quit [Remote host closed the connection]
mengu_ has quit [Remote host closed the connection]
Algebr` has quit [Ping timeout: 250 seconds]
ziyourenxiang has joined #ocaml
chjk6x has quit [Ping timeout: 250 seconds]
jbkcc has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]