olle has quit [Ping timeout: 256 seconds]
Haudegen has quit [Ping timeout: 256 seconds]
gwizon has joined #ocaml
tsns has quit [Remote host closed the connection]
Tuplanolla has quit [Quit: Leaving.]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
masterbuilder has joined #ocaml
spip has quit [Ping timeout: 246 seconds]
spip has joined #ocaml
oriba has quit [Ping timeout: 246 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
discuss9128 has joined #ocaml
discuss9128 has quit [Client Quit]
chrisz has quit [Ping timeout: 268 seconds]
chrisz has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
rgrinberg has joined #ocaml
discuss9128 has joined #ocaml
<
discuss9128>
with qcheck's arbitrary/gen, is it possible to a write a generator for well-scoped terms?
<
discuss9128>
and is there a name for such a generator? it would depend on the context of the expression being generated
<
companion_cube>
it'd be a monadic generator, most likely
<
companion_cube>
to generate well scoped terms, you can pass the set of variables in scope to the generator
<
companion_cube>
and whenever you want to generate `fun x -> t`, start by generating `x`, then pass `x \union boundvars` to the generator for `t`
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<
discuss9128>
i see, thanks
<
discuss9128>
i guess this wouldn't be easy to integrate with the deriver?
<
discuss9128>
(which i am currently using)
<
companion_cube>
ah, not trivially, no :/
<
companion_cube>
it's hard to add invariants like that
rgrinberg has joined #ocaml
cc123 has joined #ocaml
cc123 has quit [Remote host closed the connection]
jao has quit [Ping timeout: 252 seconds]
discuss9128 has quit [Quit: Client closed]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
Haudegen has joined #ocaml
trev has joined #ocaml
bgs has joined #ocaml
azimut has quit [Ping timeout: 255 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
bartholin has joined #ocaml
waleee has quit [Ping timeout: 252 seconds]
hrberg has quit [Remote host closed the connection]
hrberg has joined #ocaml
sadiq has quit [Ping timeout: 256 seconds]
sadiq has joined #ocaml
Serpent7776 has joined #ocaml
bartholin has quit [Quit: Leaving]
olle has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kakadu_ has joined #ocaml
podge has joined #ocaml
kakadu_ has quit [Ping timeout: 256 seconds]
kakadu_ has joined #ocaml
kakadu_ has quit [Ping timeout: 252 seconds]
szkl has joined #ocaml
kakadu_ has joined #ocaml
trev has quit [Remote host closed the connection]
wingsorc has quit [Quit: Leaving]
tsns has joined #ocaml
tsns has left #ocaml [#ocaml]
anpad has joined #ocaml
kakadu_ has quit [Ping timeout: 248 seconds]
kakadu_ has joined #ocaml
Duns_Scrotus__ has joined #ocaml
habnabit has joined #ocaml
ebb_ has joined #ocaml
fds_ has joined #ocaml
gentauro_ has joined #ocaml
gwizon_ has joined #ocaml
root2 has joined #ocaml
fds_ has left #ocaml [#ocaml]
mal``` has joined #ocaml
anpad has quit [*.net *.split]
gwizon has quit [*.net *.split]
Duns_Scrotus_ has quit [*.net *.split]
hannes has quit [*.net *.split]
root1 has quit [*.net *.split]
ebb has quit [*.net *.split]
gentauro has quit [*.net *.split]
omegatron has quit [*.net *.split]
mal`` has quit [*.net *.split]
habnabit_ has quit [*.net *.split]
fds has quit [*.net *.split]
adrien has quit [*.net *.split]
ebb_ is now known as ebb
hannes has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
jao has joined #ocaml
anpad has joined #ocaml
Serpent7776 has quit [Ping timeout: 260 seconds]
Serpent7776 has joined #ocaml
bobo has joined #ocaml
spip has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
azimut has joined #ocaml
Ankhers has joined #ocaml
<
Ankhers>
Maybe a silly question, but I do not need to match versions of ocaml with auxillary tools like merlin and utop, right?
<
octachron>
No, you need to have a matching version of merlin, utop, and the compiler for them to work together.
<
octachron>
But "matching versions" don't mean same version number however.
<
Ankhers>
octachron: Noted. Thank you!
adrien has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
kakadu_ has quit [Quit: Konversation terminated!]
Anarchos has joined #ocaml
troydm has quit [Ping timeout: 252 seconds]
<
Anarchos>
vsiles could you find why ocaml-protoc didn't compile ?
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
count3rmeasure has joined #ocaml
podge has quit [Read error: Connection reset by peer]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
tsns has joined #ocaml
bartholin has joined #ocaml
count3rmeasure has quit [Ping timeout: 252 seconds]
tsns has quit [Remote host closed the connection]
count3rmeasure has joined #ocaml
tsns has joined #ocaml
tsns has quit [Remote host closed the connection]
tsns has joined #ocaml
tsns has quit [Remote host closed the connection]
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
genpaku has quit [Read error: Connection reset by peer]
genpaku has joined #ocaml
tsns has joined #ocaml
count3rmeasure has quit [Read error: Connection reset by peer]
mro has joined #ocaml
troydm has joined #ocaml
mro has quit [Remote host closed the connection]
Anarchos has joined #ocaml
wingsorc has joined #ocaml
bgs has quit [Remote host closed the connection]
mro has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Haudegen has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
Haudegen has joined #ocaml
Stumpfenstiel has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Tuplanolla has joined #ocaml
waleee has joined #ocaml
malc has joined #ocaml
John_Ivan__ has quit [Read error: Connection reset by peer]
malc has left #ocaml [ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)]
John_Ivan__ has joined #ocaml
mro has quit [Quit: Leaving...]
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
bartholin has quit [Client Quit]
Stumpfenstiel has quit [Ping timeout: 246 seconds]
Serpent7776 has quit [Ping timeout: 260 seconds]
olle has quit [Ping timeout: 252 seconds]
azimut has quit [Ping timeout: 255 seconds]
azimut has joined #ocaml
omegatron has joined #ocaml
rgrinberg has joined #ocaml
gwizon_ has quit [Ping timeout: 265 seconds]
gwizon has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]