philtor has quit [Ping timeout: 245 seconds]
yomimono has quit [Quit: Leaving]
thomasga has quit [Quit: Leaving.]
brson has quit [Ping timeout: 240 seconds]
andreas has joined #mirage
andreas has quit [K-Lined]
tlockney is now known as tlockney_away
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #mirage
philtor has joined #mirage
philtor has quit [Ping timeout: 240 seconds]
englishm has joined #mirage
englishm1 has joined #mirage
englishm has quit [Remote host closed the connection]
englishm1 has quit [Quit: Leaving.]
englishm has joined #mirage
travisbrady has quit [Quit: travisbrady]
mcclurmc has quit [Remote host closed the connection]
dsheets has joined #mirage
jonludlam has joined #mirage
dsheets has quit [Ping timeout: 245 seconds]
avsm has joined #mirage
dsheets has joined #mirage
avsm has quit [Quit: Leaving.]
avsm has joined #mirage
thomasga has joined #mirage
avsm has quit [Quit: Leaving.]
AltGr has joined #mirage
cr409 has joined #mirage
dbuenzli has joined #mirage
dbuenzli has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
cr409_ has joined #mirage
thomasga has joined #mirage
thomasga has quit [Client Quit]
avsm has joined #mirage
avsm has quit [Ping timeout: 255 seconds]
thomasga has joined #mirage
avsm has joined #mirage
dbuenzli has joined #mirage
avsm has quit [Quit: Leaving.]
englishm1 has joined #mirage
englishm_ has joined #mirage
englishm has quit [Read error: Connection reset by peer]
dbuenzli has quit [Quit: Leaving.]
englishm_ has quit [Remote host closed the connection]
englishm1 has quit [Quit: Leaving.]
englishm has joined #mirage
englishm has quit [Ping timeout: 260 seconds]
englishm_ has joined #mirage
englishm1 has joined #mirage
englishm_ has quit [Read error: Connection reset by peer]
englishm1 has quit [Read error: Connection reset by peer]
englishm1 has joined #mirage
englishm_ has joined #mirage
englishm_ has quit [Read error: Connection reset by peer]
englishm1 has quit [Read error: Connection reset by peer]
englishm has joined #mirage
englishm_ has joined #mirage
so has quit [Ping timeout: 245 seconds]
jerith has quit [Ping timeout: 240 seconds]
so has joined #mirage
jerith has joined #mirage
englishm1 has joined #mirage
englishm_ has quit [Read error: Connection reset by peer]
englishm has quit [Read error: Connection reset by peer]
englishm has joined #mirage
englishm2 has joined #mirage
englishm has quit [Read error: Connection reset by peer]
englishm1 has quit [Read error: Connection reset by peer]
englishm has joined #mirage
dbuenzli has joined #mirage
englishm has quit [Read error: Connection reset by peer]
englishm2 has quit [Read error: Connection reset by peer]
englishm1 has joined #mirage
englishm has joined #mirage
thomasga has quit [Quit: Leaving.]
englishm2 has joined #mirage
englishm_ has joined #mirage
englishm has quit [Ping timeout: 245 seconds]
englishm1 has quit [Ping timeout: 250 seconds]
mcclurmc has joined #mirage
englishm_ has quit [Ping timeout: 240 seconds]
englishm2 has quit [Ping timeout: 255 seconds]
englishm has joined #mirage
englishm1 has joined #mirage
travisbrady has joined #mirage
tlockney_away is now known as tlockney
englishm has quit [Ping timeout: 250 seconds]
englishm1 has quit [Ping timeout: 260 seconds]
englishm has joined #mirage
thomasga has joined #mirage
englishm1 has joined #mirage
philtor has joined #mirage
philtor has quit [Ping timeout: 245 seconds]
yomimono has joined #mirage
englishm has quit [Remote host closed the connection]
englishm1 has quit [Quit: Leaving.]
philtor has joined #mirage
englishm has joined #mirage
englishm_ has joined #mirage
englishm_ has quit [Remote host closed the connection]
englishm has quit [Quit: Leaving.]
englishm has joined #mirage
AltGr has left #mirage [#mirage]
englishm_ has joined #mirage
englishm has quit [Ping timeout: 255 seconds]
thomasga has quit [Quit: Leaving.]
englishm_ has quit [Remote host closed the connection]
englishm has joined #mirage
englishm_ has joined #mirage
philtor has quit [Ping timeout: 245 seconds]
thomasga has joined #mirage
jonludlam has quit [Ping timeout: 260 seconds]
thomasga1 has joined #mirage
thomasga has quit [Ping timeout: 250 seconds]
philtor has joined #mirage
dsheets has quit [Ping timeout: 240 seconds]
yomimono has quit [Ping timeout: 250 seconds]
travisbrady has quit [Quit: travisbrady]
yomimono has joined #mirage
travisbrady has joined #mirage
thomasga1 has quit [Quit: Leaving.]
dbuenzli has quit [Ping timeout: 245 seconds]
<philtor> What does Mirage use in place of sockets? (looks like from looking at HTTP_IO.ml that it uses Channel.t - where does that come from?)
<philtor> (must be from Lwt Channel)
<philtor> Any idea how one would achieve something similar with Async?
dbuenzli has joined #mirage
jonludlam has joined #mirage
dezzy has quit [Quit: leaving]
AltGr has joined #mirage
dezzy has joined #mirage
AltGr has left #mirage [#mirage]
brson has joined #mirage
yomimono has quit [Ping timeout: 255 seconds]
boogie has joined #mirage
yomimono has joined #mirage
brson has quit [Ping timeout: 240 seconds]
brson has joined #mirage
yomimono has quit [Ping timeout: 272 seconds]
travisbrady has quit [Quit: travisbrady]
travisbrady has joined #mirage
philtor has quit [Ping timeout: 264 seconds]
travisbrady has quit [Quit: travisbrady]
brson has quit [Ping timeout: 240 seconds]
brson has joined #mirage
thomasga has joined #mirage
avsm has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
philtor has joined #mirage
jonludlam has quit [Quit: Leaving]
<philtor> On the topic of using Async instead of Lwt with Mirage:
<philtor> I notice in mirage-http/lib there are HTTP.ml and HTTP_IO.ml which are set up to use Lwt (using http as an example)
<philtor> I'd think I'd need to do something similar but replace all of the usage of Lwt with Async.
<philtor> I notice that Cstruct is used a lot in these interfaces and I also notice that there is an async_cstruct.ml for use with Async.
englishm_ has quit [Remote host closed the connection]
englishm has quit [Quit: Leaving.]
englishm has joined #mirage
englishm has quit [Ping timeout: 250 seconds]
avsm has quit [Quit: Leaving.]