#mirage on 2016-04-09 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

00:18 seangrove has quit [Ping timeout: 276 seconds]

00:19 thomasga has left #mirage [#mirage]

00:49 AltGr has joined #mirage

01:05 brson has quit [Quit: leaving]

01:06 seangrove has joined #mirage

01:10 seangrove has quit [Ping timeout: 268 seconds]

01:33 noddy has joined #mirage

01:33 seangrove has joined #mirage

01:37 seangrove has quit [Ping timeout: 244 seconds]

01:41 tomboy65 has joined #mirage

01:41 tomboy64 has quit [Ping timeout: 244 seconds]

01:46 brson has joined #mirage

02:00 seangrove has joined #mirage

02:02 noddy has quit [Ping timeout: 252 seconds]

02:05 seangrove has quit [Ping timeout: 264 seconds]

02:27 seangrove has joined #mirage

02:33 seangrove has quit [Ping timeout: 250 seconds]

02:54 seangrove has joined #mirage

02:58 seangrove has quit [Ping timeout: 244 seconds]

03:32 AltGr has left #mirage [#mirage]

03:43 brson has quit [Ping timeout: 246 seconds]

04:07 AltGr has joined #mirage

04:18 aantron has quit [Remote host closed the connection]

05:02 brson has joined #mirage

07:00 jermar has joined #mirage

07:04 jermar has quit [Read error: Connection reset by peer]

07:06 jgjl has joined #mirage

07:19 jermar has joined #mirage

07:29 brson has quit [Quit: leaving]

07:34 rsFF has quit [Ping timeout: 244 seconds]

07:35 jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

07:38 rsFF has joined #mirage

07:53 AltGr has left #mirage [#mirage]

08:23 djs55 has joined #mirage

08:24 djs55 has quit [Client Quit]

08:26 jgjl has joined #mirage

08:42 seangrove has joined #mirage

09:21 mort___ has joined #mirage

09:21 mort___ has left #mirage [#mirage]

09:55 seangrove has quit [Ping timeout: 276 seconds]

10:24 dsheets has joined #mirage

10:32 jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

10:33 seangrove has joined #mirage

10:46 seangrove has quit [Remote host closed the connection]

10:47 seangrove has joined #mirage

10:50 dsheets has quit [Remote host closed the connection]

10:53 seangrove has quit [Ping timeout: 248 seconds]

11:01 dsheets has joined #mirage

11:03 dsheets has quit [Remote host closed the connection]

11:03 seangrove has joined #mirage

11:23 jermar has quit [Ping timeout: 260 seconds]

11:44 aantron has joined #mirage

11:53 tomboy65 has quit [Ping timeout: 276 seconds]

11:58 tomboy65 has joined #mirage

11:59 aantron has quit [Remote host closed the connection]

12:08 tomboy65 has quit [Ping timeout: 248 seconds]

12:09 tomboy65 has joined #mirage

12:10 jgjl has joined #mirage

12:16 tomboy65 has quit [Ping timeout: 246 seconds]

12:17 tomboy65 has joined #mirage

12:19 dsheets has joined #mirage

12:23 dsheets has quit [Ping timeout: 244 seconds]

12:24 seangrov` has joined #mirage

12:24 tomboy64 has joined #mirage

12:27 tomboy65 has quit [Ping timeout: 260 seconds]

12:27 seangrove has quit [Ping timeout: 246 seconds]

12:49 mort___ has joined #mirage

12:50 tomboy64 has quit [Ping timeout: 250 seconds]

12:52 <lobo> working my way through the lwt tutorial and the camplp4 syntax extensions don't work anymore obviously. are there any plans to use lwt's ppx syntax extensions in mirage? grep -lr 'let%lwt' didn't show any results for the mirage repo

13:03 <hannes> lobo: I guess atm people are using plain Lwt syntax, but of course feel free to use the ppx extensions

13:03 <hannes> (my humble opinion is that Lwt.Infix is sufficient, and Lwt.ppx is not worth it)

13:07 tomboy64 has joined #mirage

13:09 Khady has quit [Remote host closed the connection]

13:11 <lobo> hannes: thx. i was just thinking about if it is worth updating the tutorial with the newer ppx syntax. but since it isn't used in mirage anymore it might be better updating it, just using the infix operators

13:13 <hannes> lobo: that's only my opinion, maybe others think that lwt.ppx is worth it (and updating the tutorial would be really good in any case :)

13:13 <lobo> :D

13:23 tomboy64 has joined #mirage

13:24 mort___ has quit [Quit: Leaving.]

13:31 dinosaure has quit [Quit: WeeChat 1.4]

13:32 aantron has joined #mirage

13:38 seangrov` has quit [Ping timeout: 252 seconds]

13:44 seangrov` has joined #mirage

13:46 aantron has quit [Quit: Leaving...]

13:46 mort___ has joined #mirage

13:49 dsheets has joined #mirage

13:50 seangrov` has quit [Ping timeout: 244 seconds]

14:03 jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

14:05 nullcat has joined #mirage

14:06 mort___ has quit [Quit: Leaving.]

14:34 noddy has joined #mirage

14:40 jermar has joined #mirage

14:55 jermar has quit [Ping timeout: 252 seconds]

15:04 nullcat_ has joined #mirage

15:07 nullcat has quit [Ping timeout: 252 seconds]

15:12 abeaumont has quit [Ping timeout: 260 seconds]

15:17 dsheets has quit [Remote host closed the connection]

15:24 jermar has joined #mirage

15:25 nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

15:36 jermar has quit [Ping timeout: 244 seconds]

15:47 wiredsister has joined #mirage

16:00 mort___ has joined #mirage

16:02 jgjl has joined #mirage

16:16 mort___ has quit [Quit: Leaving.]

16:33 mort___ has joined #mirage

17:03 mort___ has quit [Quit: Leaving.]

17:08 wiredsister has quit [Ping timeout: 268 seconds]

17:17 noddy has quit [Ping timeout: 246 seconds]

17:18 dsheets has joined #mirage

17:20 abeaumont has joined #mirage

17:24 dsheets has quit [Ping timeout: 244 seconds]

17:30 mort___ has joined #mirage

17:49 mort___ has quit [Quit: Leaving.]

18:21 dsheets has joined #mirage

18:26 dsheets has quit [Ping timeout: 260 seconds]

19:34 jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

20:06 wildsebastian has joined #mirage

20:15 wiredsister has joined #mirage

20:23 dsheets has joined #mirage

20:27 dsheets has quit [Ping timeout: 244 seconds]

20:31 mort___ has joined #mirage

20:32 mort___ has left #mirage [#mirage]

20:37 wildsebastian has quit [Quit: WeeChat 1.4]

20:48 jermar has joined #mirage

20:53 tet has quit [Ping timeout: 260 seconds]

20:56 wildsebastian has joined #mirage

21:06 tet has joined #mirage

21:10 noddy has joined #mirage

21:23 noddy has quit [Ping timeout: 252 seconds]

21:29 noddy has joined #mirage

21:58 noddy has quit [Ping timeout: 244 seconds]

21:58 dsheets has joined #mirage

22:02 dsheets has quit [Ping timeout: 244 seconds]

22:49 wiredsister has quit [Ping timeout: 248 seconds]

22:53 wildsebastian has quit [Ping timeout: 268 seconds]

23:13 noddy has joined #mirage