#mirage on 2014-07-31 — irc logs at freenode.irclog.whitequark.org

00:08 philtor has quit [Ping timeout: 245 seconds]

00:22 yomimono has quit [Quit: Leaving]

00:35 thomasga has quit [Quit: Leaving.]

00:43 brson has quit [Ping timeout: 240 seconds]

00:55 andreas has joined #mirage

00:55 andreas has quit [K-Lined]

01:03 tlockney is now known as tlockney_away

01:23 travisbrady has quit [Quit: travisbrady]

01:48 travisbrady has joined #mirage

02:08 philtor has joined #mirage

02:24 philtor has quit [Ping timeout: 240 seconds]

02:56 englishm has joined #mirage

02:56 englishm1 has joined #mirage

03:26 englishm has quit [Remote host closed the connection]

03:26 englishm1 has quit [Quit: Leaving.]

03:26 englishm has joined #mirage

03:48 travisbrady has quit [Quit: travisbrady]

04:01 mcclurmc has quit [Remote host closed the connection]

07:53 dsheets has joined #mirage

08:19 jonludlam has joined #mirage

08:33 dsheets has quit [Ping timeout: 245 seconds]

08:41 avsm has joined #mirage

08:41 dsheets has joined #mirage

08:59 avsm has quit [Quit: Leaving.]

09:34 avsm has joined #mirage

09:36 thomasga has joined #mirage

09:47 avsm has quit [Quit: Leaving.]

09:51 AltGr has joined #mirage

09:59 cr409 has joined #mirage

10:07 dbuenzli has joined #mirage

10:13 dbuenzli has quit [Quit: Leaving.]

10:50 thomasga has quit [Quit: Leaving.]

10:52 cr409_ has joined #mirage

11:00 thomasga has joined #mirage

11:01 thomasga has quit [Client Quit]

11:42 avsm has joined #mirage

11:46 avsm has quit [Ping timeout: 255 seconds]

11:52 thomasga has joined #mirage

12:05 avsm has joined #mirage

12:09 dbuenzli has joined #mirage

12:16 avsm has quit [Quit: Leaving.]

12:19 englishm1 has joined #mirage

12:19 englishm_ has joined #mirage

12:19 englishm has quit [Read error: Connection reset by peer]

12:19 dbuenzli has quit [Quit: Leaving.]

12:32 englishm_ has quit [Remote host closed the connection]

12:32 englishm1 has quit [Quit: Leaving.]

12:32 englishm has joined #mirage

12:37 englishm has quit [Ping timeout: 260 seconds]

12:59 englishm_ has joined #mirage

12:59 englishm1 has joined #mirage

13:01 englishm_ has quit [Read error: Connection reset by peer]

13:01 englishm1 has quit [Read error: Connection reset by peer]

13:01 englishm1 has joined #mirage

13:01 englishm_ has joined #mirage

13:02 englishm_ has quit [Read error: Connection reset by peer]

13:02 englishm1 has quit [Read error: Connection reset by peer]

13:02 englishm has joined #mirage

13:02 englishm_ has joined #mirage

13:15 so has quit [Ping timeout: 245 seconds]

13:15 jerith has quit [Ping timeout: 240 seconds]

13:16 so has joined #mirage

13:18 jerith has joined #mirage

13:35 englishm1 has joined #mirage

13:35 englishm_ has quit [Read error: Connection reset by peer]

13:35 englishm has quit [Read error: Connection reset by peer]

13:35 englishm has joined #mirage

13:53 englishm2 has joined #mirage

13:53 englishm has quit [Read error: Connection reset by peer]

13:53 englishm1 has quit [Read error: Connection reset by peer]

13:54 englishm has joined #mirage

13:55 dbuenzli has joined #mirage

14:02 englishm has quit [Read error: Connection reset by peer]

14:02 englishm2 has quit [Read error: Connection reset by peer]

14:02 englishm1 has joined #mirage

14:02 englishm has joined #mirage

14:02 thomasga has quit [Quit: Leaving.]

14:06 englishm2 has joined #mirage

14:07 englishm_ has joined #mirage

14:09 englishm has quit [Ping timeout: 245 seconds]

14:10 englishm1 has quit [Ping timeout: 250 seconds]

14:17 mcclurmc has joined #mirage

14:48 englishm_ has quit [Ping timeout: 240 seconds]

14:49 englishm2 has quit [Ping timeout: 255 seconds]

14:51 englishm has joined #mirage

14:52 englishm1 has joined #mirage

15:03 travisbrady has joined #mirage

15:03 tlockney_away is now known as tlockney

15:04 englishm has quit [Ping timeout: 250 seconds]

15:04 englishm1 has quit [Ping timeout: 260 seconds]

15:05 englishm has joined #mirage

15:07 thomasga has joined #mirage

15:09 englishm1 has joined #mirage

15:15 philtor has joined #mirage

15:23 philtor has quit [Ping timeout: 245 seconds]

15:25 yomimono has joined #mirage

15:49 englishm has quit [Remote host closed the connection]

15:49 englishm1 has quit [Quit: Leaving.]

15:49 philtor has joined #mirage

15:58 englishm has joined #mirage

15:58 englishm_ has joined #mirage

16:13 englishm_ has quit [Remote host closed the connection]

16:13 englishm has quit [Quit: Leaving.]

16:14 englishm has joined #mirage

16:28 AltGr has left #mirage [#mirage]

16:31 englishm_ has joined #mirage

16:33 englishm has quit [Ping timeout: 255 seconds]

16:38 thomasga has quit [Quit: Leaving.]

16:48 englishm_ has quit [Remote host closed the connection]

16:48 englishm has joined #mirage

16:48 englishm_ has joined #mirage

17:00 philtor has quit [Ping timeout: 245 seconds]

17:10 thomasga has joined #mirage

17:15 jonludlam has quit [Ping timeout: 260 seconds]

17:21 thomasga1 has joined #mirage

17:24 thomasga has quit [Ping timeout: 250 seconds]

17:32 philtor has joined #mirage

17:37 dsheets has quit [Ping timeout: 240 seconds]

17:42 yomimono has quit [Ping timeout: 250 seconds]

17:57 travisbrady has quit [Quit: travisbrady]

18:10 yomimono has joined #mirage

18:13 travisbrady has joined #mirage

18:24 thomasga1 has quit [Quit: Leaving.]

18:35 dbuenzli has quit [Ping timeout: 245 seconds]

18:42 <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?)

18:43 <philtor> (must be from Lwt Channel)

18:44 <philtor> Any idea how one would achieve something similar with Async?

19:12 dbuenzli has joined #mirage

19:26 jonludlam has joined #mirage

19:33 dezzy has quit [Quit: leaving]

19:41 AltGr has joined #mirage

20:04 dezzy has joined #mirage

20:10 AltGr has left #mirage [#mirage]

20:40 brson has joined #mirage

20:45 yomimono has quit [Ping timeout: 255 seconds]

20:45 boogie has joined #mirage

20:49 yomimono has joined #mirage

20:53 brson has quit [Ping timeout: 240 seconds]

21:05 brson has joined #mirage

21:15 yomimono has quit [Ping timeout: 272 seconds]

21:17 travisbrady has quit [Quit: travisbrady]

21:20 travisbrady has joined #mirage

21:26 philtor has quit [Ping timeout: 264 seconds]

21:28 travisbrady has quit [Quit: travisbrady]

21:50 brson has quit [Ping timeout: 240 seconds]

21:55 brson has joined #mirage

22:05 thomasga has joined #mirage

22:13 avsm has joined #mirage

22:15 thomasga has quit [Quit: Leaving.]

22:35 thomasga has joined #mirage

23:05 philtor has joined #mirage

23:06 jonludlam has quit [Quit: Leaving]

23:10 <philtor> On the topic of using Async instead of Lwt with Mirage:

23:11 <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)

23:12 <philtor> I'd think I'd need to do something similar but replace all of the usage of Lwt with Async.

23:13 <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.

23:16 englishm_ has quit [Remote host closed the connection]

23:16 englishm has quit [Quit: Leaving.]

23:16 englishm has joined #mirage

23:21 englishm has quit [Ping timeout: 250 seconds]

23:39 avsm has quit [Quit: Leaving.]