adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
iovec has quit [Quit: Connection closed for inactivity]
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
wagle has quit [Client Quit]
wagle has joined #ocaml
dwdv has quit [Ping timeout: 245 seconds]
zolk3ri has joined #ocaml
FreeBirdLjj has joined #ocaml
AtumT has quit [Quit: AtumT]
kvda has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
unyu has quit [Quit: reboot]
unyu has joined #ocaml
FreeBirdLjj has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
traviss has quit [Read error: Connection reset by peer]
traviss has joined #ocaml
ziyourenxiang has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
Exagone313 has quit [Quit: see ya!]
Exagone313 has joined #ocaml
Jesin has quit [Ping timeout: 245 seconds]
dckc has quit [Ping timeout: 245 seconds]
srax has quit [Ping timeout: 245 seconds]
tormen has quit [Ping timeout: 245 seconds]
tormen has joined #ocaml
srax has joined #ocaml
dckc has joined #ocaml
Jesin has joined #ocaml
gobears_ has quit [Remote host closed the connection]
gobears has joined #ocaml
gobears has quit [Remote host closed the connection]
gobears has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 265 seconds]
gobears has quit [Remote host closed the connection]
gobears has joined #ocaml
gobears has quit [Remote host closed the connection]
gobears has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
silver_ has quit [Read error: Connection reset by peer]
gobears has quit [Remote host closed the connection]
gobears has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
tormen_ has joined #ocaml
gobears has quit [Ping timeout: 265 seconds]
tormen has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
gobears has joined #ocaml
vicfred_ has quit [Quit: Leaving]
nullifidian_ is now known as nullifidian
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 276 seconds]
KeyJoo has quit [Quit: KeyJoo]
nullifidian_ is now known as nullifidian
_whitelogger has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
malina has quit [Remote host closed the connection]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
ziyourenxiang_ has joined #ocaml
ziyourenxiang has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
gravicappa has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
gobears has quit [Remote host closed the connection]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
gobears has joined #ocaml
narimiran has joined #ocaml
barockobamo has joined #ocaml
kini is now known as fs
fs has quit [Changing host]
fs has joined #ocaml
barockobamo has quit [Ping timeout: 240 seconds]
fs is now known as kini
kini has quit [Changing host]
kini has joined #ocaml
ravenousmoose has joined #ocaml
gobears has quit [Remote host closed the connection]
iovec has joined #ocaml
mbuf has joined #ocaml
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
ravenousmoose has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
ggole has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
troydm has quit [Ping timeout: 276 seconds]
tane has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
ravenous_ has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jaar_ has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
bartholin has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
troydm has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
gobears has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
gobears has quit [Ping timeout: 265 seconds]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
dwdv has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
iovec has quit [Quit: Connection closed for inactivity]
ravenous_ has quit [Ping timeout: 246 seconds]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
ravenousmoose has joined #ocaml
bartholin has quit [Remote host closed the connection]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
malina has joined #ocaml
malina has quit [Remote host closed the connection]
iovec has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
ravenousmoose has quit [Ping timeout: 276 seconds]
hvn has joined #ocaml
jaar_ has quit [Ping timeout: 246 seconds]
hvn has quit [Read error: Connection reset by peer]
ravenousmoose has joined #ocaml
nullifidian has quit [Ping timeout: 240 seconds]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
mfp has joined #ocaml
jnavila has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
narimiran has quit [Ping timeout: 265 seconds]
jaar_ has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
jnavila has quit [Quit: Konversation terminated!]
jnavila has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
tizoc has quit [Quit: Coyote finally caught me]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
nullifidian has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
jnavila has quit [Ping timeout: 276 seconds]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
gareppa has joined #ocaml
zolk3ri has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
tizoc has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
AtumT has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
hvn has joined #ocaml
hvn has quit [Read error: Connection reset by peer]
zolk3ri has quit [Remote host closed the connection]
mbuf has quit [Ping timeout: 240 seconds]
jnavila has quit [Ping timeout: 246 seconds]
Haudegen has quit [Quit: Bin weg.]
engil has joined #ocaml
wham has joined #ocaml
mbuf has joined #ocaml
mbuf has quit [Ping timeout: 252 seconds]
vesper11 has quit [Ping timeout: 244 seconds]
vesper11 has joined #ocaml
silver has joined #ocaml
vesper11 has quit [Ping timeout: 246 seconds]
q9929t has joined #ocaml
mbuf has joined #ocaml
q9929t has quit [Quit: q9929t]
ravenousmoose has quit [Ping timeout: 276 seconds]
ravenousmoose has joined #ocaml
mbuf has quit [Ping timeout: 268 seconds]
spew has joined #ocaml
Haudegen has joined #ocaml
gareppa has quit [Quit: Leaving]
ravenousmoose has quit [Ping timeout: 276 seconds]
mbuf has joined #ocaml
vesper11 has joined #ocaml
mbuf has quit [Ping timeout: 240 seconds]
vesper11 has quit [Ping timeout: 240 seconds]
ravenousmoose has joined #ocaml
vesper11 has joined #ocaml
mbuf has joined #ocaml
count3rmeasure has joined #ocaml
mbuf has quit [Ping timeout: 252 seconds]
wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Leonidas> looks like i am doing my best to bother opam-repo maintainers to death, every day a new PR :<
ravenous_ has joined #ocaml
ravenousmoose has quit [Ping timeout: 246 seconds]
stux|RC has quit [Ping timeout: 264 seconds]
ravenous_ has quit [Ping timeout: 276 seconds]
ravenousmoose has joined #ocaml
stux|RC has joined #ocaml
ravenous_ has joined #ocaml
ravenousmoose has quit [Ping timeout: 252 seconds]
jacobian_ has joined #ocaml
smazga has joined #ocaml
wham has joined #ocaml
ravenous_ has quit [Read error: Connection reset by peer]
narimiran has joined #ocaml
ravenousmoose has joined #ocaml
count3rmeasure has quit [Quit: Leaving]
Netsu has joined #ocaml
bartholin has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
zolk3ri has joined #ocaml
<reynir> I had a day like that - I accidentally released a broken package along with what I really wanted to release, and I had to spend a lot of back and forth fixing the brokenness :/
gobears has joined #ocaml
wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zolk3ri has quit [Remote host closed the connection]
wham has joined #ocaml
gobears has quit [Ping timeout: 240 seconds]
<simpson> Hi. Stupid ecosystem question: I have a (simplified) situation like https://bpaste.net/show/EQNR where I have a relatively-large sum type and I'd like to conditionally explore "unwrapping" behaviors under the type.
<simpson> I know enough Haskell to desire *lenses* when this comes up, and I've found a couple blog posts sketching the basics; nothing seems really different from Haskell, *except* that I can't find an established lens library. Is there one?
<simpson> (Original case, if you want to be horrified: https://github.com/monte-language/spotter/blob/master/spotter.ml#L149-L159)
mfp has quit [Ping timeout: 276 seconds]
vicfred has joined #ocaml
jnavila has joined #ocaml
Netsu has quit [Ping timeout: 260 seconds]
ravenousmoose has quit [Ping timeout: 276 seconds]
wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ravenousmoose has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Client Quit]
ravenousmoose has quit [Read error: Connection reset by peer]
ravenousmoose has joined #ocaml
mfp has joined #ocaml
kakadu has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
<narimiran> i'm looking at Printf module documentation, and i can see `x` and `o` to convert int to hex/octal, but it seems there is no way to convert it to binary? (`b` is used for booleans)
<reynir> I think you have to implement it yourself
<narimiran> ah, ok. such a strange omission from stdlib :/
jacobian_ has quit [Quit: Lost terminal]
wham has joined #ocaml
Serpent7776 has joined #ocaml
jaar_ has quit [Ping timeout: 240 seconds]
ziyourenxiang_ has quit [Ping timeout: 268 seconds]
ygrek has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
ravenousmoose has quit [Read error: Connection reset by peer]
gobears has joined #ocaml
ravenousmoose has joined #ocaml
wham has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
wham has joined #ocaml
gobears has quit [Ping timeout: 268 seconds]
gobears has joined #ocaml
malina has joined #ocaml
gobears has quit [Remote host closed the connection]
gobears has joined #ocaml
gobears has quit [Remote host closed the connection]
gareppa has joined #ocaml
malina has quit [Remote host closed the connection]
gobears has joined #ocaml
gobears has quit [Remote host closed the connection]
gobears has joined #ocaml
malina has joined #ocaml
kark has quit [Remote host closed the connection]
nahra has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
pzp has joined #ocaml
gobears has quit [Remote host closed the connection]
gravicappa has quit [Ping timeout: 240 seconds]
gobears has joined #ocaml
gobears has quit [Remote host closed the connection]
silver has quit [Quit: rakede]
gobears has joined #ocaml
ggole has quit [Quit: Leaving]
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
leah2 has quit [Ping timeout: 252 seconds]
troydm has quit [Ping timeout: 246 seconds]
vicfred has quit [Quit: Leaving]
leah2 has joined #ocaml
Haudegen has joined #ocaml
wham has quit [Remote host closed the connection]
narimiran has quit [Ping timeout: 265 seconds]
iovec has quit [Quit: Connection closed for inactivity]
gareppa has quit [Quit: Leaving]
jnavila has quit [Ping timeout: 276 seconds]
remexre has joined #ocaml
<remexre> I've got a module that abstracts over linear sequences (e.g. lists, arrays); is there a good way to make nil a member without running afoul of the monomorphism restriction?
<remexre> right now I'm considering val from_list : 'a list -> 'a t; and having from_list [] be the standard way to write nil
Serpent7776 has quit [Quit: leaving]
malina has quit [Remote host closed the connection]
malina has joined #ocaml
malina has quit [Remote host closed the connection]
malina has joined #ocaml
kakadu has quit [Remote host closed the connection]
<remexre> unrelatedly (I hope!) what does this type error mean:
<remexre> This pattern matches values of type ('tok, $0 list) combinator
<remexre> is this something weird with how GADT type errors print?
smazga has quit [Quit: leaving]
gobears has quit [Read error: Connection reset by peer]
gobears has joined #ocaml
gobears has quit [Ping timeout: 276 seconds]
dr_toboggan has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
troydm has joined #ocaml