<discocaml_>
<mbacarella> in a "signals and threads" podcast last year yminsky and laurent mazare talked about using expect tests like a poor man's jupyter notebook
<companion_cube>
yeah, it's cool
<discocaml_>
<mbacarella> it's actually not too bad. you can just have `dune build @runtest --auto-promote` in a vscode terminal window running, and put in stuff like `let%expect_test "foo" = thing () |> more_thing () |> thing_to_string |> print_endline; [%expect ""]`, hit save, and the expect "" magically turns into the output of more_thing.
<discocaml_>
<mbacarella> might be time for some text based graphing libs
darchitect has joined #ocaml
darchitect has quit [Ping timeout: 248 seconds]
bobo_ has quit [Read error: Connection reset by peer]
<dh`>
is there a recommended way to get the ocaml z3 bindings on macos given that homebrew seems to have blown off the concept?
<dh`>
companion_cube: do you know what svr4 STREAMS are? that paste was meant for an os channel
azimut has quit [Ping timeout: 255 seconds]
brettgilio has joined #ocaml
<dh`>
(installing z3 from opam instead of homebrew seems to do the trick, will doubtless cause problems if I try to use it from homebrew python but that's not an immediate issue)
<companion_cube>
no, I thought it was about pipes
mbuf has joined #ocaml
bgs has joined #ocaml
bgs has quit [Remote host closed the connection]
<dh`>
nothing so healthy :-|
<dh`>
it has much the same relationship to a pipe as javascript has to lambda calculus
<dh`>
or maybe php
<dh`>
that's not quite right, it's more bureaucratically overgrown than batshit crazy, but you get the general idea
trev has joined #ocaml
Haudegen has joined #ocaml
mro has joined #ocaml
mro has quit [Read error: Connection reset by peer]
mro has joined #ocaml
kurfen has joined #ocaml
kurfen_ has joined #ocaml
bartholin has joined #ocaml
kurfen has quit [Ping timeout: 264 seconds]
<discocaml_>
<lukstafi> You can use `PrintBox` as 2D canvas.
<discocaml_>
<lukstafi> I plan to write a simple one in a few weeks if it doesn't exist by then.
trillion_exabyte has quit [Ping timeout: 255 seconds]
trillion_exabyte has joined #ocaml
darchitect has joined #ocaml
darchitect has quit [Ping timeout: 252 seconds]
bartholin has quit [Quit: Leaving]
kakadu has joined #ocaml
olle has joined #ocaml
Hmmf has joined #ocaml
Hmmf has quit [Client Quit]
hackinghorn has quit [Ping timeout: 255 seconds]
Hmmf has joined #ocaml
Hmmf has quit [Quit: Client closed]
wingsorc has quit [Ping timeout: 246 seconds]
Hmmf has joined #ocaml
hackinghorn has joined #ocaml
hackinghorn has quit [Client Quit]
jao has joined #ocaml
azimut has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 255 seconds]
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 268 seconds]
zbroyar has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
mro has quit [Quit: Leaving...]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 246 seconds]
kakadu has joined #ocaml
kakadu_ has quit [Read error: Connection reset by peer]
mro has quit [Read error: Connection reset by peer]
<discocaml_>
<dariusf> I did modify the compiler as part of that project (iirc, to propagate some info using types), but those changes aren't in that repository
jao has quit [Ping timeout: 248 seconds]
Haudegen has joined #ocaml
zbroyar has joined #ocaml
zbroyar has quit [Remote host closed the connection]
zbroyar has joined #ocaml
zbroyar has quit [Remote host closed the connection]
jao has joined #ocaml
zbroyar has joined #ocaml
zbroyar has quit [Ping timeout: 246 seconds]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 255 seconds]
count3rmeasure has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
kurfen_ has quit [Ping timeout: 255 seconds]
<discocaml_>
<lukstafi> So, the repository `ppx_polyprint`, it calls the type inference via compiler libs, and has the right build setup to perform the inference by virtue of running from the build process?
kurfen has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 248 seconds]
zbroyar has joined #ocaml
kakadu has joined #ocaml
zbroyar has quit [Ping timeout: 252 seconds]
kakadu_ has quit [Ping timeout: 255 seconds]
Haudegen has quit [Quit: Bin weg.]
olle has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
zbroyar has joined #ocaml
zbroyar has quit [Remote host closed the connection]
zbroyar has joined #ocaml
waleee has quit [Quit: update & rewind]
waleee has joined #ocaml
kakadu has quit [Remote host closed the connection]
<discocaml_>
<Alistair> Anyone know how get `dune fmt` to check formatting instead of promoting changes?
<discocaml_>
<Alistair> Figured it out (`dune build @fmt`)
Serpent7776 has quit [Ping timeout: 252 seconds]
jao has left #ocaml [#ocaml]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
oriba has quit [Ping timeout: 248 seconds]
Haudegen has joined #ocaml
mbuf has quit [Quit: Leaving]
bartholin has joined #ocaml
Hmmf has quit [Quit: Client closed]
bgs has joined #ocaml
Tuplanolla has joined #ocaml
olle has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 246 seconds]
mro has joined #ocaml
Serpent7776 has joined #ocaml
count3rmeasure has quit [Read error: Connection reset by peer]
szkl has quit [Quit: Connection closed for inactivity]
brettgilio has quit [Read error: Connection reset by peer]
Haudegen has quit [Quit: Bin weg.]
Stumpfenstiel has joined #ocaml
mro has quit [Ping timeout: 248 seconds]
Stumpfenstiel has quit [Ping timeout: 252 seconds]
Stumpfenstiel has joined #ocaml
Everything has joined #ocaml
mro has joined #ocaml
trev has quit [Remote host closed the connection]
wingsorc has joined #ocaml
tomku|two has quit [Ping timeout: 248 seconds]
tomku has joined #ocaml
wingsorc has quit [Remote host closed the connection]
wingsorc has joined #ocaml
Serpent7776 has quit [Ping timeout: 246 seconds]
mro has quit [Quit: Leaving...]
bgs has quit [Remote host closed the connection]
Stumpfenstiel has quit [Ping timeout: 252 seconds]
olle has quit [Ping timeout: 252 seconds]
cross has joined #ocaml
bartholin has quit [Quit: Leaving]
<discocaml_>
<dariusf> Yes, it uses https://github.com/chetmurthy/typpx for this, which vendors a copy of the type checker and runs it before and after preprocessing