nullifidian has quit [Read error: Connection reset by peer]
nullifidian has joined #ocaml
dimitarvp has joined #ocaml
nicooo is now known as nicoo
<Leonidas>
is there some library I can use to solve simple integral constraint problems?
<companion_cube>
you can try glpk, it's a bit fragile though
<companion_cube>
or directly Z3
<Leonidas>
Yeah, I would kinda prefer to avoid pulling in large dependencies
<companion_cube>
:s
<Leonidas>
Thanks though, glpk could be a solution :)
<companion_cube>
yeah well, it's fragile sadly
<companion_cube>
its bindings are, I mean
dimitarvp has quit [Client Quit]
<wilfredh>
what's the difference between 'a and '_a in a type signature?
<wilfredh>
I'm getting an odd error:
<wilfredh>
"val sequence_check_block : ('_a, '_b, '_c) Aast.block -> unit" is not included in "val sequence_check_block : ('a, 'b, 'c) Aast.block -> unit"
<ggole>
'_a is a weak variable (not generalisable)
<ggole>
Usually getting those is the result of the value restriction and you can resolve the issue by eta-expanding.
<wilfredh>
thanks. I've been refactoring some visitor classes, so I'll see if I can find some functions that need expanding.
madroach has joined #ocaml
rosterok has joined #ocaml
Vikfret has joined #ocaml
ygrek has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
sagotch has quit [Quit: Leaving.]
ziyourenxiang_ has quit [Ping timeout: 245 seconds]
Serpent7776 has joined #ocaml
ayberkt has quit [Ping timeout: 248 seconds]
tane has joined #ocaml
khodzha has quit [Quit: Leaving.]
FreeBirdLjj has quit [Remote host closed the connection]
Haudegen has joined #ocaml
AtumT__ has quit [Read error: Connection reset by peer]
AtumT has joined #ocaml
haesbaert has joined #ocaml
<Ankhers>
If I use `opam switch [name] ...' for a project specific installation, do I need [name] to be the full path to that dir, or just the nae of the dir?
rosterok has quit [Quit: Connection closed for inactivity]
Serpent7776 has quit [Quit: leaving]
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 245 seconds]
fee5a585 has joined #ocaml
fee5a585 has quit [Ping timeout: 248 seconds]
zolk3ri has quit [Remote host closed the connection]
uzuki has quit [Quit: pyon~]
ygrek has quit [Ping timeout: 248 seconds]
jbrown has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
JimmyRcom has quit [Ping timeout: 245 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
<seliopou>
what's the state of cross compilation for arm nowadays?
Hrundi_V_Bakshi has joined #ocaml
Hrundi_V_Bakshi has quit [Client Quit]
<dinosaure>
seliopou: currently, I tried to make a switch with opam and then it seems that `dune -x` is able to use the compiler of another switch to "cross"-compile
<dinosaure>
another solution seems to use docker with qemu-arm-static, but it did not work on my side