carlosdagos has quit [Quit: Connection closed for inactivity]
sonologico has quit [Ping timeout: 268 seconds]
malina has quit [Remote host closed the connection]
Bronsa` has joined #ocaml
sonologico has joined #ocaml
metreo has joined #ocaml
pzp has quit [Quit: Connection closed for inactivity]
iAmDecim has quit [Ping timeout: 252 seconds]
iAmDecim_ has joined #ocaml
Birdface has quit [Read error: Connection reset by peer]
ziyourenxiang has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
Bronsa` has quit [Ping timeout: 252 seconds]
iAmDecim_ has quit [Quit: WeeChat 1.9]
iAmDecim has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
iAmDecim has quit [Ping timeout: 252 seconds]
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 268 seconds]
mfp has quit [Ping timeout: 250 seconds]
Algebr` has joined #ocaml
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 268 seconds]
demonimin has quit [Remote host closed the connection]
drew7721 has joined #ocaml
drew7721 has quit [Read error: Connection reset by peer]
lokydor_ has quit [Ping timeout: 246 seconds]
lokydor has joined #ocaml
jao has quit [Remote host closed the connection]
[rg] has joined #ocaml
sonologico has quit [Ping timeout: 246 seconds]
recj has joined #ocaml
metreo has quit [Quit: Leaving.]
recj has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
iAmDecim has joined #ocaml
recj has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 246 seconds]
tennix has joined #ocaml
iAmDecim has joined #ocaml
jao has quit [Ping timeout: 250 seconds]
[rg] has quit [Quit: Konversation terminated!]
[rg] has joined #ocaml
[rg] has quit [Client Quit]
recj has quit [Ping timeout: 240 seconds]
iAmDecim has quit [Ping timeout: 252 seconds]
recj has joined #ocaml
ygrek__ has quit [Ping timeout: 250 seconds]
groovy2shoes has joined #ocaml
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
tennix has quit [Quit: WeeChat 2.2]
emily has quit [Ping timeout: 252 seconds]
emily has joined #ocaml
recj has quit [Ping timeout: 250 seconds]
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
themsay has joined #ocaml
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 268 seconds]
_whitelogger has joined #ocaml
sepp2k has joined #ocaml
slamzy has joined #ocaml
sagotch has joined #ocaml
iAmDecim has joined #ocaml
GreyFaceNoSpace has quit [Quit: Ex-Chat]
iAmDecim has quit [Ping timeout: 252 seconds]
demonimin has joined #ocaml
orbifx3 has joined #ocaml
demonimin has quit [Remote host closed the connection]
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
kjak has quit [Ping timeout: 268 seconds]
kjak has joined #ocaml
zakora has joined #ocaml
orbifx3 has quit [Ping timeout: 240 seconds]
<zakora>
Is there a way to get a function documentation in a top-level? Something similar to IPython "round?" that would print the documentation for the "round" function.
<zakora>
I found "#show round;;" but it only print out the signature.
hardmath123 has left #ocaml [#ocaml]
MasseR has joined #ocaml
<MasseR>
I'm trying out js_of_ocaml and [@@deriving json], but it generates weird json instances. I have `type t = { asd :: string list } [@@deriving json]` and outputing it gives a json *array* of `[0,[0,"foo",[0,"bar",0]]]`
Guest16790 has joined #ocaml
themsay has quit [Ping timeout: 245 seconds]
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
Haudegen is now known as Guest6856
Guest16790 has quit [Remote host closed the connection]
Guest6856 has quit [Remote host closed the connection]
TheRuralJuror has joined #ocaml
TheRuralJuror has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
ggole has joined #ocaml
sagotch has quit [Quit: Leaving.]
mpu has joined #ocaml
<mpu>
Hi folks, in a toplevel is there a way to know which cm{o,a} have been loaded? I'd like to know where Bigarray.Array1 is coming from.
mfp has joined #ocaml
asymptotically has joined #ocaml
Algebr` has quit [Ping timeout: 268 seconds]
zakora has quit [Quit: WeeChat 2.2]
sagotch has joined #ocaml
Algebr`` has joined #ocaml
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
slamzy1234 has joined #ocaml
slamzy has quit [Remote host closed the connection]
Algebr`` has quit [Ping timeout: 250 seconds]
metreo has joined #ocaml
pierpal has joined #ocaml
sagotch has quit [Quit: Leaving.]
Haudegen has quit [Remote host closed the connection]
Algebr`` has joined #ocaml
nolanv has joined #ocaml
jaar has joined #ocaml
sagotch has joined #ocaml
slamzy1234 has quit [Ping timeout: 256 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
Algebr`` has quit [Ping timeout: 272 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
slamzy1234 has joined #ocaml
sagotch has quit [Ping timeout: 245 seconds]
iAmDecim has joined #ocaml
Algebr`` has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
metreo has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
metreo has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
jao has joined #ocaml
lesshaste has joined #ocaml
<lesshaste>
I want to compile unison statically but I am not sure how to do that. This is the Make file http://paste.ubuntu.com/p/JVBBWqWB43/. What do I need to change?
Algebr`` has quit [Ping timeout: 250 seconds]
spew has joined #ocaml
bartholin has joined #ocaml
<def`>
make EXPORTSTATIC=true ?
ollehar has joined #ocaml
ollehar has quit [Read error: Connection reset by peer]
Algebr`` has joined #ocaml
ollehar has joined #ocaml
TC01 has quit [Ping timeout: 246 seconds]
roygbiv has joined #ocaml
FreeBirdLjj has joined #ocaml
sagotch has joined #ocaml
al-damiri has joined #ocaml
Algebr`` has quit [Ping timeout: 246 seconds]
iAmDecim has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
sagotch has quit [Ping timeout: 268 seconds]
slamzy1234 has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
jaar has quit [Ping timeout: 250 seconds]
<companion_cube>
ho
jnavila has joined #ocaml
Algebr`` has quit [Ping timeout: 246 seconds]
marvin2 has joined #ocaml
Algebr`` has joined #ocaml
Bronsa` has joined #ocaml
<fraxamo>
silver lining
<fraxamo>
;)
Jesin has joined #ocaml
pierpal has quit [Ping timeout: 250 seconds]
iAmDecim has joined #ocaml
theglass has joined #ocaml
theglass has joined #ocaml
theglass has quit [Changing host]
sepp2k has joined #ocaml
iAmDecim has quit [Ping timeout: 250 seconds]
malina has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
fraxamo has quit [Quit: Leaving]
ggole has quit [Quit: ggole]
pzp has joined #ocaml
metreo has quit [Quit: Leaving.]
metreo has joined #ocaml
asymptotically has joined #ocaml
kakadu has joined #ocaml
jnavila has joined #ocaml
pierpal has joined #ocaml
ygrek__ has joined #ocaml
iAmDecim has joined #ocaml
nanoz has quit [Ping timeout: 250 seconds]
iAmDecim_ has joined #ocaml
iAmDecim has quit [Ping timeout: 252 seconds]
pierpal has quit [Ping timeout: 246 seconds]
tchell has quit [Ping timeout: 245 seconds]
iAmDecim_ has quit [Ping timeout: 250 seconds]
ShalokShalom_ is now known as ShalokShalom
tchell has joined #ocaml
orbifx3 has joined #ocaml
sammie has joined #ocaml
zakora has quit [Quit: WeeChat 2.2]
orbifx3 has quit [Ping timeout: 246 seconds]
<mpu>
companion_cube, I've been impressed by logtk :)
<companion_cube>
really? did you find a use for it? :D
<mpu>
amazement
<Armael>
x)
<companion_cube>
I guess that's a valid use
<companion_cube>
(I mean my use case was doing a phd, so…)
<mpu>
my phd code stayed private :)
<mpu>
did you find ocaml was not a source of performance problems to implement a prover?
<companion_cube>
it was a compromise, tbh
<companion_cube>
if I was to start again, I'd probably pick rust
<companion_cube>
but it was good enough for writing a research platform (not a competition winner)
jnavila has quit [Ping timeout: 246 seconds]
<mpu>
rust looks like ocaml but the ownership/borrow dance might be a pain
<companion_cube>
sure, it'd be more work, but also more performance
<companion_cube>
anyway this code base has served me well (and now someone else is writing some HOL stuff on top of it)
<mpu>
and I have a feeling that "precise" resource management does not necessarily entail good performance
<mpu>
e.g., a loop constantly allocating a "work" object getting freed at the end of the iteration can be quite a lot of overhead
<companion_cube>
for provers, there are places where it definitely does help to control allocations and memory layout
spew has quit [Quit: going home]
<mpu>
it's again a compromise (do you want to *have* to be precise about resources even when it does not matter)
<mpu>
but I get your points
<companion_cube>
other provers are in C or C++, and it seems to be such a pain
<companion_cube>
so I used something that allowed me to write the prover and try lots of stuff in 3 years :)
bartholin has quit [Remote host closed the connection]
sonologico has joined #ocaml
_whitelogger has joined #ocaml
Algebr`` has quit [Ping timeout: 250 seconds]
iAmDecim_ has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
mpu has quit [Remote host closed the connection]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
mengu has joined #ocaml
troydm has joined #ocaml
Algebr`` has joined #ocaml
asymptotically has quit [Quit: Leaving]
Algebr`` has quit [Ping timeout: 268 seconds]
Bronsa` has quit [Ping timeout: 252 seconds]
maufred has quit [Ping timeout: 252 seconds]
maufred has joined #ocaml
mengu has quit [Remote host closed the connection]