ziyourenxiang has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 246 seconds]
kspencer3 has joined #ocaml
kspencer3 has quit [Remote host closed the connection]
thomas_scrace has joined #ocaml
zv has joined #ocaml
thomas_scrace has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
piklu has joined #ocaml
piklu has quit [Remote host closed the connection]
ygrek has joined #ocaml
erkin has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 272 seconds]
silver_ has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
bourbon7 has joined #ocaml
bourbon7 has quit [Remote host closed the connection]
noitakomentaja has quit [Ping timeout: 252 seconds]
brolaf has joined #ocaml
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
brolaf has quit [Ping timeout: 244 seconds]
companion_square has joined #ocaml
companion_square has quit [Client Quit]
companion_square has joined #ocaml
companion_square has quit [Client Quit]
companion_square has joined #ocaml
companion_cube has quit [Quit: WeeChat 1.0.1]
companion_square has quit [Client Quit]
companion_cube has joined #ocaml
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 244 seconds]
jao has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 245 seconds]
clog has quit [Ping timeout: 252 seconds]
c4rc4s has quit [Read error: Connection reset by peer]
c4rc4s has joined #ocaml
maufred has quit [Ping timeout: 252 seconds]
maufred has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Read error: Connection reset by peer]
automatical3 has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
automatical3 has quit [Remote host closed the connection]
malina has joined #ocaml
moei has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
ygrek_ has quit [Ping timeout: 264 seconds]
ocabot has joined #ocaml
ocabot_ has quit [Remote host closed the connection]
ocabot has quit [Remote host closed the connection]
ocabot has joined #ocaml
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 252 seconds]
lostman has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
shw has quit [Ping timeout: 250 seconds]
shw has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
sagotch has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
clog has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
pierpal has joined #ocaml
sagotch has quit [Ping timeout: 240 seconds]
yurug has joined #ocaml
thomas_scrace has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
thomas_scrace has quit [Ping timeout: 244 seconds]
pierpal has joined #ocaml
yurug has quit [Ping timeout: 244 seconds]
sagotch has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
_whitelogger has joined #ocaml
bartholin has joined #ocaml
pierpal has joined #ocaml
malina has quit [Read error: Connection reset by peer]
malina has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 272 seconds]
pierpal has joined #ocaml
shw has quit [Ping timeout: 250 seconds]
shw has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
sagotch has quit [Quit: Leaving.]
untoreh- has joined #ocaml
untoreh- has quit [Remote host closed the connection]
malina has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
noitakom1ntaja has joined #ocaml
malina has joined #ocaml
TheLemonMan has joined #ocaml
sagotch has joined #ocaml
malina has quit [Remote host closed the connection]
s3rvac28 has joined #ocaml
s3rvac28 has quit [Remote host closed the connection]
popnfresh has joined #ocaml
orbifx has joined #ocaml
popnfresh has quit [Remote host closed the connection]
orbifx has quit [Ping timeout: 250 seconds]
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
Haudegen has joined #ocaml
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
ftlight has quit [Ping timeout: 252 seconds]
srax has quit [Ping timeout: 252 seconds]
Votan-X has joined #ocaml
cabji_ has joined #ocaml
ftlight has joined #ocaml
cabji_ has quit [Remote host closed the connection]
bartholin has quit [Remote host closed the connection]
srax has joined #ocaml
Votan-X has quit [Remote host closed the connection]
jaar has joined #ocaml
AltGr has joined #ocaml
mfp has joined #ocaml
trochdewei has joined #ocaml
trochdewei has quit [Quit: Leaving]
thomas_scrace has joined #ocaml
yurug has joined #ocaml
pierpal has joined #ocaml
Haudegen has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 252 seconds]
yurug has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 252 seconds]
sagotch has quit [Quit: Leaving.]
lostman has quit [Quit: Connection closed for inactivity]
dstol0 has joined #ocaml
sommerfest16 has joined #ocaml
dstol0 has quit [Remote host closed the connection]
sommerfest16 has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
pierpal has joined #ocaml
yurug has joined #ocaml
sagotch has joined #ocaml
<discord>
<mseri> companion_cube yes
<remix2000>
Hi! Is there any lightweight library for list comprehensions? Preferably without runtime dependencies…
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
silver has joined #ocaml
<discord>
<mseri> remix2000 I don't know, I think ppx_monadic allows you to do that, but I've never used it
yurug has quit [Ping timeout: 252 seconds]
pierpal has quit [Read error: Connection reset by peer]
magic_gum has joined #ocaml
magic_gum[m] has joined #ocaml
<ZirconiumX>
remix2000: what kind of list comprehension? Often you can do it with just chaining the stuff in List
<remix2000>
I'm looking for something similar to Haskell's comprehensions. `pa_comprehension' looks nice, but it's a bit outdated and definitely not lightweight…
<ZirconiumX>
So infinite series?
<ZirconiumX>
There's companion_cube's Seq module
<remix2000>
pa_comprehension syntax is nicer IMO. I just like how that simple thing present in Haskell makes everything clearer: `[ x * x | x <- [1..10] ]` :)
magic_gum_ has joined #ocaml
<remix2000>
ZirconiumX: ^
<steenuil>
...yeah, but nobody reading your code will get it unless they also know haskell
<magic_gum_>
Hey guys
<ZirconiumX>
ListLabels.init ~len:10 ~f:(fun x -> x * x)
<ZirconiumX>
Not strictly identical because init starts at 0, but still
Azure6 has joined #ocaml
<ZirconiumX>
Hi magic_gum_
magic_gum has quit [Quit: Page closed]
<magic_gum_>
I'm brand new to OCaml and have a very specific question. I would like to change a specific function in a OCaml repository and run it (this function: https://gitlab.com/tezos/tezos/blob/master/src/lib_signer_backends/encrypted.ml#L62) Is there an easy way to run this function without adding a new entry point to the whole repository? How should I proceed?
<steenuil>
there really should be a List.range function or something like that
<steenuil>
magic_gum_: from utop maybe
<ZirconiumX>
Just edit the function, magic_gum_
<ZirconiumX>
But utop might work
<steenuil>
seems like Tezos uses dune too so you should be able to run "dune utop" and reach the function from its module path
Azure6 has quit [Remote host closed the connection]
<remix2000>
Many languages have similar comprehension syntax, e.g. Python.
<magic_gum_>
I tried utop and got "unbound module base58"
<magic_gum_>
I'll try with dune utop. Thx
<steenuil>
remix2000: the only ones I know of are Python and Haskell, and some languages with a small userbase
<remix2000>
mseri: ppx_monadic is okay, I'll keep in mind that it may be unclear though. Thanks :)
thomas_scrace has quit [Ping timeout: 245 seconds]
<Armael>
lw 16
thomas_scrace has joined #ocaml
FreeBirdLjj has joined #ocaml
thomas_scrace has quit [Ping timeout: 246 seconds]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
thomas_scrace has joined #ocaml
thomas_scrace has quit [Ping timeout: 250 seconds]
thomas_scrace has joined #ocaml
gareppa has joined #ocaml
sagotch has quit [Quit: Leaving.]
tachoknight9 has joined #ocaml
tachoknight9 has quit [Remote host closed the connection]
sagotch has joined #ocaml
gareppa has quit [Quit: Leaving]
Haudegen has joined #ocaml
jbrown has joined #ocaml
bartholin has joined #ocaml
pierpal has joined #ocaml
sagotch has quit [Ping timeout: 245 seconds]
noitakom1ntaja has quit [Ping timeout: 246 seconds]
noitakomentaja has quit [Ping timeout: 272 seconds]
jbrown has quit [Ping timeout: 244 seconds]
sagotch has joined #ocaml
jao has joined #ocaml
thomas_scrace has quit [Ping timeout: 264 seconds]
thomas_scrace has joined #ocaml
jbrown has joined #ocaml
magic_gum_ has quit [Ping timeout: 252 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
FreeBirdLjj has joined #ocaml
cjones_29 has joined #ocaml
cjones_29 has quit [Remote host closed the connection]
<Armael>
how can I tell dune to completely ignore a subdirectory? it seems I cannot use ignored_subdirs in dune-project
FreeBirdLjj has quit [Remote host closed the connection]
marvi21 has joined #ocaml
FreeBirdLjj has joined #ocaml
<Armael>
(nvm I just added a dune file at toplevel)
FreeBirdLjj has quit [Ping timeout: 244 seconds]
marvi21 has quit [Remote host closed the connection]
<companion_cube>
so I just moved some tests to alcotest, it's pretty ok
sayakb17 has joined #ocaml
sayakb17 has quit [Remote host closed the connection]
<companion_cube>
🍷
<companion_cube>
🐫
<companion_cube>
I feel I'm going to like this emoji plugin
7IZAAH7LJ has joined #ocaml
noitakomentaja has joined #ocaml
noitakom1ntaja has joined #ocaml
sagotch has quit [Quit: Leaving.]
jbrown has quit [Ping timeout: 245 seconds]
7IZAAH7LJ has quit [Quit: leaving]
noitakom1ntaja has quit [Quit: leaving]
noitakomentaja has quit [Quit: leaving]
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<_y>
aow, yet another testing tool
<companion_cube>
?
TheLemonMan has joined #ocaml
Fare has joined #ocaml
roygbiv has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
<Fare>
Is there a way to easily declare a type as a union of previously declared sums of variants? i.e. type foo = [`A | `B] and bar = [`C | `D] and foobar = [foo... | bar...] or something ?
<companion_cube>
type bar = [ foo | `c];;
jao has joined #ocaml
<Fare>
companion_cube, thanks!
AltGr has quit [Quit: Konversation terminated!]
roygbiv has quit [Quit: ™]
jaar has quit [Quit: Leaving]
jbrown has joined #ocaml
sagotch has joined #ocaml
Fare has quit [Ping timeout: 246 seconds]
al-damiri has joined #ocaml
orbifx has joined #ocaml
Haudegen has joined #ocaml
sagotch has quit [Read error: Connection timed out]
sagotch has joined #ocaml
jnavila has joined #ocaml
thomas_scrace has quit [Ping timeout: 252 seconds]
thomas_scrace has joined #ocaml
JimmyRcom has joined #ocaml
jeschli26 has joined #ocaml
jeschli26 has quit [Remote host closed the connection]
Fare has joined #ocaml
sagotch has quit [Read error: Connection timed out]
sagotch has joined #ocaml
jnavila has quit [Ping timeout: 252 seconds]
silver has quit [Quit: rakede]
thomas_scrace has quit [Ping timeout: 252 seconds]
JimmyRcom has quit [Ping timeout: 252 seconds]
jnavila has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
shw has quit [Ping timeout: 250 seconds]
sagotch has quit [Read error: Connection timed out]
sagotch has joined #ocaml
glass has joined #ocaml
theglass has quit [Ping timeout: 252 seconds]
shw has joined #ocaml
<companion_cube>
ugh, still waiting for opam-repo…
sagotch has quit [Read error: Connection timed out]
mplex23 has joined #ocaml
mplex23 has quit [Remote host closed the connection]
kakadu has quit [Quit: Konversation terminated!]
yurug has joined #ocaml
tokomak_ has joined #ocaml
TC01 has quit [Ping timeout: 246 seconds]
TC01 has joined #ocaml
yurug has quit [Ping timeout: 272 seconds]
orbifx has quit [Ping timeout: 252 seconds]
tane has joined #ocaml
Putonlalla25 has joined #ocaml
ars23 has joined #ocaml
Putonlalla25 has quit [Remote host closed the connection]
<ZirconiumX>
It's really nice not to have religious wars over things here in #ocaml.
<ZirconiumX>
I've spent about half an hour grooming my Rust code to how a guy says is the "proper" way, despite my solution working basically immediately
<ZirconiumX>
I'll try not to rant too much, since it is off topic, but still
<discord>
<rgrinberg> I think you might be a bit responsible for taking random advice on IRC a little too close to your heart
<tane>
ZirconiumX, as you know, there's only one way to do it properly :)
<ZirconiumX>
I probably am, rgrinberg, but I wanted to humour him to show him how much pain his "right way" was
ars23 has quit [Remote host closed the connection]
pulec1 has joined #ocaml
pulec1 has quit [Remote host closed the connection]
bartholin has quit [Remote host closed the connection]
<Fare>
what are the good monad libraries for ocaml?
Jesin has quit [Quit: Leaving]
<Fare>
I've been rolling my own so far, but that's not a tenable solution (lest I end up maintaining mine as a candidate "best" solution, which I'm not yet ready to do)
<discord>
<rgrinberg> Base has something decent in it
ia0 has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
skalnik0 has joined #ocaml
ia0 has joined #ocaml
roygbiv has joined #ocaml
gareppa has joined #ocaml
skalnik0 has quit [Remote host closed the connection]
gareppa has quit [Remote host closed the connection]
Jesin has joined #ocaml
<companion_cube>
Fare: you mean for things like traverse?
kakadu has joined #ocaml
sapristi has joined #ocaml
tane has quit [Quit: Leaving]
sapristi has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
baroud has joined #ocaml
sandroandrade22 has joined #ocaml
sandroandrade22 has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
ia0 has quit [Quit: leaving]
moei has joined #ocaml
ia0 has joined #ocaml
jack5638 has quit [Ping timeout: 252 seconds]
jnavila has quit [Remote host closed the connection]
Haudegen has joined #ocaml
baroud has quit [Remote host closed the connection]
jack5638 has joined #ocaml
thomas_scrace has joined #ocaml
silver has joined #ocaml
thomas_scrace has quit [Ping timeout: 252 seconds]
fgaz25 has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
fgaz25 has quit [Remote host closed the connection]
<Fare>
companion_cube, yes. Although right now I'm using monadic style a lot for dealing with Lwt, exceptions, and state (different state types, not all features at the same time)
<companion_cube>
I only have a traverse for lists, I think :p
namho has joined #ocaml
namho has quit [Remote host closed the connection]
roygbiv has quit [Quit: ™]
moei has quit [Quit: Leaving...]
_andre has quit [Quit: leaving]
Fare has quit [Ping timeout: 272 seconds]
oni-on-ion has joined #ocaml
sab11015 has joined #ocaml
sab11015 has quit [Killed (Sigyn (Spam is off topic on freenode.))]
dago has joined #ocaml
dago has quit [Killed (Unit193 (Spam is not permitted on freenode.))]
pierpal has joined #ocaml
Bostik10 has joined #ocaml
Bostik10 has quit [Remote host closed the connection]