<Netsu>
Maybe it's stupid question, but can module types be covariant?
nullifidian has quit [Ping timeout: 240 seconds]
Netsu has quit [Ping timeout: 260 seconds]
AtumT has quit [Quit: AtumT]
jim7j1ajh is now known as jimt
liberiga has joined #ocaml
nullifidian_ is now known as nullifidian
mfp has quit [Ping timeout: 245 seconds]
Haudegen has quit [Quit: Bin weg.]
silver_ has quit [Read error: Connection reset by peer]
liberiga has quit [Ping timeout: 260 seconds]
analogue has quit [Quit: Leaving]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
bitwinery has quit [Ping timeout: 276 seconds]
bitwinery has joined #ocaml
Haudegen has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
ravenous_ has joined #ocaml
ravenous_ has quit [Ping timeout: 276 seconds]
nullcone has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
jao has quit [Ping timeout: 265 seconds]
gravicappa has joined #ocaml
FreeBirdLjj has joined #ocaml
mbuf has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
Niamkik has quit [Ping timeout: 276 seconds]
gravicappa has quit [Ping timeout: 276 seconds]
narimiran has joined #ocaml
gravicappa has joined #ocaml
bitwinery has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
Niamkik has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
haskell_enthusia has quit [Ping timeout: 265 seconds]
haskell_enthusia has joined #ocaml
bbbold has joined #ocaml
amiloradovsky has joined #ocaml
ravenous_ has joined #ocaml
Niamkik has quit [Ping timeout: 245 seconds]
ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
amiloradovsky has quit [Ping timeout: 258 seconds]
Serpent7776 has joined #ocaml
ravenous_ has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
kvda has joined #ocaml
Niamkik has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
nahra has quit [Quit: ERC (IRC client for Emacs 26.2)]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ravenous_ has quit [Ping timeout: 276 seconds]
klntsky has quit [Remote host closed the connection]
andreas303 has quit [Remote host closed the connection]
malina has joined #ocaml
klntsky has joined #ocaml
andreas303 has joined #ocaml
cartwright has quit [Ping timeout: 260 seconds]
nicoo has quit [Read error: Connection reset by peer]
klntsky has quit [Ping timeout: 260 seconds]
andreas303 has quit [Ping timeout: 260 seconds]
malina has quit [Remote host closed the connection]
malina has joined #ocaml
FreeBirdLjj has joined #ocaml
nicoo has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
klntsky has joined #ocaml
malina has quit [Ping timeout: 246 seconds]
malina has joined #ocaml
malina has quit [Remote host closed the connection]
cartwright has joined #ocaml
jaar has joined #ocaml
andreas303 has joined #ocaml
picolino has quit [Ping timeout: 245 seconds]
picolino has joined #ocaml
unyu has joined #ocaml
mfp has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 240 seconds]
liberiga has joined #ocaml
malina has joined #ocaml
bbbold has quit [Quit: My Mac Mini has gone to sleep. ZZZzzz…]
jaar has quit [Ping timeout: 276 seconds]
jaar has joined #ocaml
FreeBirdLjj has joined #ocaml
jaar has quit [Ping timeout: 276 seconds]
FreeBirdLjj has quit [Ping timeout: 245 seconds]
nullifidian_ is now known as nullifidian
<kakadu>
Folks, I have a generic programming library and want to generate some boilerplate for tuples of size 1-6. What tool should I use? I can write custom non-public PPX plugin , m4 macro, something else?
nullifidian_ has joined #ocaml
AtumT has joined #ocaml
nullifidian has quit [Ping timeout: 245 seconds]
picolino has quit [Ping timeout: 246 seconds]
AtumT has quit [Remote host closed the connection]
picolino has joined #ocaml
ggole has joined #ocaml
pino|work has quit [Quit: Bye]
pino|work has joined #ocaml
jaar has joined #ocaml
obliq has joined #ocaml
jao has joined #ocaml
AtumT has joined #ocaml
zolk3ri has joined #ocaml
picolino has quit [Ping timeout: 240 seconds]
picolino has joined #ocaml
liberiga has quit [Ping timeout: 260 seconds]
picolino has quit [Ping timeout: 245 seconds]
picolino has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
Haudegen has quit [Quit: Bin weg.]
mbuf has quit [Quit: Leaving]
obliq has quit [Ping timeout: 250 seconds]
laudecay has joined #ocaml
desperek has joined #ocaml
desperek has quit [Changing host]
desperek has joined #ocaml
<desperek>
hi, is there an explanation to this weird let f = function match syntax?
<ggole>
let f = .. is a normal let binding. function <clauses> is short for fun tmp -> match tmp with <clauses>.
<desperek>
thanks
FreeBirdLjj has joined #ocaml
nullifidian_ is now known as nullifidian
spew has joined #ocaml
q9929t has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
<desperek>
is the notation kinda reversed? for example a monad of type a' t and the value of a', so does this mean that the container per se it of type t?
<desperek>
does it mean that its from RTL when looking from outside to inside, kinda?
q9929t has quit [Quit: q9929t]
FreeBirdLjj has joined #ocaml
<lyxia>
yes 'a is the argument of t
FreeBirdLjj has quit [Ping timeout: 245 seconds]
<desperek>
thanks
laudecay has quit [Ping timeout: 258 seconds]
pino|work has quit [Quit: brb]
pino|work has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
smazga has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
laudecay has joined #ocaml
laudecay has quit [Ping timeout: 240 seconds]
silver has joined #ocaml
FreeBirdLjj has joined #ocaml
jao has joined #ocaml
jao is now known as Guest8617
Guest8617 has quit [Remote host closed the connection]
jao- has joined #ocaml
oriba has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 268 seconds]
ziyourenxiang has quit [Ping timeout: 245 seconds]
q9929t has joined #ocaml
q9929t has quit [Client Quit]
Haudegen has joined #ocaml
q9929t has joined #ocaml
tane has joined #ocaml
FreeBirdLjj has joined #ocaml
ravenousmoose has joined #ocaml
q9929t has quit [Read error: Connection reset by peer]
q9929t has joined #ocaml
Haudegen has quit [Ping timeout: 265 seconds]
mfp has joined #ocaml
KeyJoo has joined #ocaml
Serpent7776 has joined #ocaml
jnavila has joined #ocaml
gareppa has joined #ocaml
FreeBirdLjj has quit []
desperek has quit [Quit: mew wew]
FreeBirdLjj has joined #ocaml
jaar has quit [Ping timeout: 240 seconds]
bitwinery has joined #ocaml
bitwinery has quit [Remote host closed the connection]
bitwinery has joined #ocaml
rwmjones has quit [Remote host closed the connection]
rwmjones has joined #ocaml
runawayfive has quit [Ping timeout: 245 seconds]
kini has quit [Remote host closed the connection]
chewbranca has joined #ocaml
runawayfive has joined #ocaml
gareppa has quit [Quit: Leaving]
kini has joined #ocaml
laudecay has joined #ocaml
laudecay has quit [Ping timeout: 240 seconds]
gravicappa has quit [Ping timeout: 276 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kakadu_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
ggole has quit [Quit: Leaving]
oriba has quit [Quit: WeeChat 2.6]
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zolk3ri has quit [Remote host closed the connection]
narimiran has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
jnavila has quit [Remote host closed the connection]
Haudegen has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
kakadu_ has quit [Remote host closed the connection]
wilfredh has quit [Quit: Connection closed for inactivity]
Serpent7776 has quit [Quit: leaving]
cartwright has quit [Ping timeout: 260 seconds]
klntsky has quit [Ping timeout: 260 seconds]
andreas303 has quit [Ping timeout: 260 seconds]
nicoo has quit [Ping timeout: 260 seconds]
sagax has quit [Ping timeout: 268 seconds]
malina has quit [Ping timeout: 265 seconds]
cartwright has joined #ocaml
nicoo has joined #ocaml
andreas303 has joined #ocaml
klntsky has joined #ocaml
smazga has quit [Quit: leaving]
q9929t has quit [Remote host closed the connection]
q9929t has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]