keep_learning has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
zmt01 has quit [Quit: Leaving]
pmetzger has quit []
toppler has quit [Ping timeout: 240 seconds]
zmt00 has joined #ocaml
toppler has joined #ocaml
AtumT has quit [Quit: AtumT]
q9929t has joined #ocaml
olle has quit [Ping timeout: 265 seconds]
toppler has quit [Ping timeout: 268 seconds]
olle has joined #ocaml
q9929t has quit [Quit: q9929t]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
jao- has quit [Remote host closed the connection]
toppler has joined #ocaml
jao has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]
jao has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
jao has joined #ocaml
nullcone has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
toppler has joined #ocaml
jp has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
warriors_ has joined #ocaml
gravicappa has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
barockobamo has joined #ocaml
warriors_ has quit []
warriors_ has joined #ocaml
warriors_ has quit [Client Quit]
Traviss__ has joined #ocaml
warriors has joined #ocaml
jao has quit [Remote host closed the connection]
traviss has quit [Ping timeout: 265 seconds]
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
warriors has quit []
toppler has joined #ocaml
narimiran has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
Haudegen has joined #ocaml
mbuf has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
flodin has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
jp has quit [Ping timeout: 265 seconds]
barockobamo has quit [Remote host closed the connection]
ruffy has joined #ocaml
ruffy is now known as Guest66590
toppler has quit [Ping timeout: 265 seconds]
Guest66590 has quit [Client Quit]
ruffy has joined #ocaml
ruffy is now known as Guest70632
Guest70632 has quit [Client Quit]
ruffy_ has joined #ocaml
toppler has joined #ocaml
pino|work has joined #ocaml
ruffy_ has quit [Quit: WeeChat 2.5]
ruffy_ has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
Serpent7776 has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
barockobamo has joined #ocaml
toppler has joined #ocaml
<Drup>
just include it, and don't export it again the signature
toppler has quit [Ping timeout: 245 seconds]
toppler has joined #ocaml
KeyJoo has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
bartholin has quit [Remote host closed the connection]
jp has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
jaar has joined #ocaml
toppler has joined #ocaml
<adrien>
well, I do that because I want to expose the stuff from LowLevel in HighLevel
orbifx2 has joined #ocaml
jp has quit [Ping timeout: 268 seconds]
<adrien>
hmm, I got a bit further by duplicating the signature of LowLevel in HighLevel
<adrien>
and maybe I can trim LowLevel down so that duplication is minimal
<adrien>
(and I'm running out of time because I'm doing that commuting in the subway of course)
toppler has quit [Ping timeout: 240 seconds]
bitwinery has quit [Quit: Leaving]
toppler has joined #ocaml
ollehar has joined #ocaml
gravicappa has quit [Ping timeout: 268 seconds]
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
Traviss__ has quit [Quit: Leaving]
freyr69 has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
jp has joined #ocaml
_Serpent7776_ has joined #ocaml
toppler has quit [Ping timeout: 268 seconds]
Serpent7776 has quit [Ping timeout: 276 seconds]
jp has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
orbifx2 has quit [Ping timeout: 276 seconds]
orbifx2 has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
picolino has joined #ocaml
toppler has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
mfp has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
orbifx2 has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
_Serpent7776_ has quit [Remote host closed the connection]
serpent has joined #ocaml
serpent is now known as Serpent7776
toppler has quit [Ping timeout: 240 seconds]
jp has joined #ocaml
toppler has joined #ocaml
jp has quit [Ping timeout: 250 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
KeyJoo has quit [Quit: KeyJoo]
jaar has quit [Ping timeout: 246 seconds]
toppler has quit [Ping timeout: 240 seconds]
jp has joined #ocaml
toppler has joined #ocaml
webshinra has quit [Remote host closed the connection]
jp has quit [Ping timeout: 240 seconds]
webshinra has joined #ocaml
jaar has joined #ocaml
picolino has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 268 seconds]
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
picolino has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
nullifidian has quit [Read error: Connection reset by peer]
nullifidian has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
picolino has quit [Ping timeout: 240 seconds]
klntsky has quit [Remote host closed the connection]
toppler has joined #ocaml
jp__ has joined #ocaml
jp__ has quit [Ping timeout: 246 seconds]
toppler has quit [Ping timeout: 268 seconds]
Haudegen has quit [Quit: Bin weg.]
toppler has joined #ocaml
toppler has quit [Ping timeout: 246 seconds]
jp__ has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
gravicappa has joined #ocaml
jp__ has quit [Ping timeout: 268 seconds]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
klntsky has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
toppler has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
jack5638 has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
toppler has joined #ocaml
jp has joined #ocaml
jp has quit [Remote host closed the connection]
jp has joined #ocaml
jao has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
jp has quit [Ping timeout: 276 seconds]
barockobamo has quit [Remote host closed the connection]
jp has joined #ocaml
toppler has joined #ocaml
barockobamo has joined #ocaml
jp has quit [Remote host closed the connection]
toppler has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
orbifx2 has joined #ocaml
kakadu has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
toppler has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
warriors has joined #ocaml
emias has quit [Ping timeout: 250 seconds]
toppler has joined #ocaml
jp has joined #ocaml
gareppa has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
jp has quit [Ping timeout: 240 seconds]
smazga has joined #ocaml
emias has joined #ocaml
toppler has joined #ocaml
toppler has quit [Ping timeout: 265 seconds]
Serpent7776 has quit [Quit: Leaving]
dogui has quit [Ping timeout: 244 seconds]
dogui has joined #ocaml
toppler has joined #ocaml
jp has joined #ocaml
dogui has quit [Remote host closed the connection]
dogui has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
narimiran has quit [Ping timeout: 265 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
jp has quit [Remote host closed the connection]
jp has joined #ocaml
dogui has quit [Remote host closed the connection]
dogui has joined #ocaml
toppler has joined #ocaml
dogui has quit [Ping timeout: 265 seconds]
dogui has joined #ocaml
toppler has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
toppler has joined #ocaml
prophet has quit [Quit: Connection closed for inactivity]
Haudegen has quit [Quit: Bin weg.]
toppler has quit [Ping timeout: 245 seconds]
ollehar has quit [Ping timeout: 240 seconds]
freyr69 has quit [Remote host closed the connection]
toppler has joined #ocaml
dogui has quit [Ping timeout: 240 seconds]
dogui has joined #ocaml
barockobamo has quit [Remote host closed the connection]
dogui has quit [Ping timeout: 276 seconds]
dogui has joined #ocaml
toppler has quit [Ping timeout: 276 seconds]
orbifx2 has quit [Read error: Connection reset by peer]
orbifx3 has joined #ocaml
jp has quit [Read error: Connection reset by peer]
tane has joined #ocaml
jp has joined #ocaml
toppler has joined #ocaml
jp has quit [Ping timeout: 268 seconds]
ziyourenxiang_ has quit [Ping timeout: 240 seconds]
toppler has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
toppler has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
jp has joined #ocaml
jp has quit [Ping timeout: 240 seconds]
Serpent7776 has joined #ocaml
jp has joined #ocaml
Haudegen has joined #ocaml
toppler has quit [Ping timeout: 245 seconds]
toppler has joined #ocaml
<cemerick>
I'd expect to find a function like this in stdlib or containers Result, but not seeing it: `('a, 'err) result list -> ('a list, 'err) result`
<cemerick>
have I just overlooked it?
<companion_cube>
there's CCResult.map_l, but indeed, no traverse
<companion_cube>
i should add the simpler variant
<thizanne>
what should happen if the list is empty ?
<companion_cube>
Ok []
<companion_cube>
clearly
<companion_cube>
cemerick: I'm implementing it
<companion_cube>
take a look at master
<thizanne>
oh I read the type wrong
toppler has quit [Ping timeout: 240 seconds]
AtumT has joined #ocaml
toppler has joined #ocaml
jaar has quit [Ping timeout: 268 seconds]
<cemerick>
companion_cube: aaaaaaaach, `map_l id`, I should've seen that
<cemerick>
*facepalm*
toppler has quit [Ping timeout: 265 seconds]
<cemerick>
is there any utility in re-implementing, vs just `let flatten_l = map_l id`?
* cemerick
places offerings for the cross-module optimization gods