sonologico has quit [Remote host closed the connection]
sonologico has joined #ocaml
mfp has quit [Ping timeout: 272 seconds]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 246 seconds]
sonologico has quit [Ping timeout: 245 seconds]
jao has quit [Ping timeout: 246 seconds]
Jeanne-Kamikaze has quit [Quit: Leaving]
philtor has quit [Remote host closed the connection]
gravicappa has joined #ocaml
philtor has joined #ocaml
philt has joined #ocaml
philt has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
delysin has joined #ocaml
keep_learning_M has joined #ocaml
keep_learning_M has quit [Client Quit]
keep_learning_M has joined #ocaml
delysin has quit [Read error: Connection reset by peer]
Birdface has joined #ocaml
bitwinery has joined #ocaml
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
delysin has joined #ocaml
kvda has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 268 seconds]
mbuf has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
tizoc has quit [Changing host]
tizoc has joined #ocaml
Birdface has quit [Ping timeout: 272 seconds]
narimiran has joined #ocaml
KeyJoo has joined #ocaml
ggole has joined #ocaml
Serpent7776 has joined #ocaml
bitwinery has quit [Quit: Leaving]
freyr69 has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
keep_learning_M has quit [Quit: This computer has gone to sleep]
Haudegen has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
malina has joined #ocaml
kvda has joined #ocaml
liberiga has joined #ocaml
webshinra has quit [Remote host closed the connection]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Read error: Connection reset by peer]
webshinra has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian_ has joined #ocaml
liberiga has quit [Ping timeout: 260 seconds]
mfp has joined #ocaml
malina has quit [Remote host closed the connection]
tianon has quit [Ping timeout: 246 seconds]
tianon has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ravenous_ has joined #ocaml
ravenous_ has quit [Ping timeout: 250 seconds]
liberiga has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
kark has quit [Ping timeout: 268 seconds]
Anarchos has joined #ocaml
kark has joined #ocaml
malina has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
ravenous_ has joined #ocaml
ravenous_ has quit [Ping timeout: 264 seconds]
jao has joined #ocaml
spew has joined #ocaml
Haudegen has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
AtumT has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
ravenous_ has joined #ocaml
ravenous_ has quit [Ping timeout: 264 seconds]
AtumT has quit [Ping timeout: 258 seconds]
AtumT has joined #ocaml
AtumT has quit [Client Quit]
mfp has joined #ocaml
Birdface has joined #ocaml
liberiga has quit [Ping timeout: 260 seconds]
mfp has quit [Ping timeout: 245 seconds]
vicfred has quit [Quit: Leaving]
ravenous_ has joined #ocaml
ravenous_ has quit [Ping timeout: 250 seconds]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
freyr69 has quit [Remote host closed the connection]
iovec has joined #ocaml
Anarchos has joined #ocaml
<Anarchos>
What is the syntax to cast a value of type a into a first class module ?
seliopou has quit [Ping timeout: 245 seconds]
Haudegen has quit [Quit: Bin weg.]
seliopou has joined #ocaml
seliopou has quit [Ping timeout: 272 seconds]
seliopou has joined #ocaml
mfp has joined #ocaml
ziyourenxiang has quit [Ping timeout: 268 seconds]
<ggole>
Anarchos: what do you mean by "a value of type a"?
mbuf has quit [Quit: Leaving]
jnavila has joined #ocaml
<Anarchos>
ggole it is a value read by Marshal.from_channel
<Anarchos>
so it has type «'a»
<ggole>
If you want to turn it into a module, module M = (val x)
<ggole>
(You might have to give x an explicit module type.)
<Anarchos>
ok. suppose the module M has a field "mode", can i access it by (val x ).mode ?
<ggole>
No, you have to bind a 'temporary' module name
<ggole>
I forget why
<Anarchos>
ok thanks
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
ravenous_ has joined #ocaml
ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
malina has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 252 seconds]
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 248 seconds]
malina has joined #ocaml
aphprentice__ has joined #ocaml
jim7j1ajh has joined #ocaml
ravenous_ has joined #ocaml
jimt has quit [Ping timeout: 244 seconds]
ygrek has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
jnavila has joined #ocaml
bitwinery has joined #ocaml
bacam has quit [Quit: reboot]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 272 seconds]
mk__ has joined #ocaml
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #ocaml
iovec has quit [Quit: Connection closed for inactivity]
<mk__>
given ic, oc as Lwt-based input and output channels, if multiple promises write to oc, and a single promise reads from ic, how it can distinguish between different inputs?
jack5638 has quit [Ping timeout: 244 seconds]
jnavila has quit [Remote host closed the connection]
mk__ has quit [Ping timeout: 260 seconds]
jack5638 has joined #ocaml
mk__ has joined #ocaml
<mk__>
I was disconnected, so I may have missed the replies: given ic, oc as Lwt-based input and output channels, if multiple promises write to oc, and a single promise reads from ic, how it can distinguish between different inputs?
vicfred has joined #ocaml
bacam has joined #ocaml
gravicappa has quit [Ping timeout: 245 seconds]
<Fardale_>
I don't think it can
bacam has quit [Ping timeout: 245 seconds]
bacam has joined #ocaml
Birdface has quit [Ping timeout: 264 seconds]
mk__ has quit [Ping timeout: 260 seconds]
ravenous_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bacam has quit [Ping timeout: 264 seconds]
narimiran has quit [Remote host closed the connection]
Serpent7776 has quit [Quit: leaving]
ygrek has quit [Ping timeout: 246 seconds]
mk__ has joined #ocaml
ggole has quit [Quit: Leaving]
mk__ has quit [Remote host closed the connection]
jao has quit [Ping timeout: 248 seconds]
jao- has joined #ocaml
crowley95 has quit [Read error: Connection reset by peer]
crowley95 has joined #ocaml
bacam has joined #ocaml
cartwright has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]