#mirage on 2016-10-12 — 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:15 smondet has joined #mirage

00:30 srenatus[m] has quit [Ping timeout: 240 seconds]

00:36 srenatus[m] has joined #mirage

00:53 agarwal1975 has quit [Quit: agarwal1975]

00:57 smondet` has joined #mirage

00:59 smondet has quit [Ping timeout: 240 seconds]

01:02 brson has quit [Ping timeout: 240 seconds]

01:03 brson has joined #mirage

01:09 agarwal1975 has joined #mirage

01:09 agarwal1975 has quit [Client Quit]

01:13 brson has quit [Ping timeout: 250 seconds]

01:42 srenatus[m] has quit [Ping timeout: 240 seconds]

01:43 srenatus[m] has joined #mirage

02:08 srenatus[m] has quit [Ping timeout: 240 seconds]

02:14 srenatus[m] has joined #mirage

02:15 mcclurmc has quit [Ping timeout: 265 seconds]

02:25 srenatus[m] has quit [Ping timeout: 240 seconds]

02:30 mcclurmc has joined #mirage

02:32 srenatus[m] has joined #mirage

03:49 rgrinberg has quit [Ping timeout: 250 seconds]

03:55 mcclurmc has quit [Ping timeout: 260 seconds]

04:04 mcclurmc has joined #mirage

04:18 mcclurmc has quit [Ping timeout: 260 seconds]

05:26 copy` has quit [Quit: Connection closed for inactivity]

05:28 srenatus[m] has quit [Ping timeout: 240 seconds]

05:34 srenatus[m] has joined #mirage

05:38 tg has joined #mirage

05:38 apache2_ has joined #mirage

06:41 srenatus[m] has quit [Ping timeout: 240 seconds]

06:47 srenatus[m] has joined #mirage

06:48 jermar has joined #mirage

06:59 mort___ has joined #mirage

07:11 mort___ has quit [Quit: Leaving.]

07:11 andreas23 has joined #mirage

07:53 dezzy has joined #mirage

09:35 smondet` has quit [Ping timeout: 250 seconds]

09:51 mort___ has joined #mirage

09:58 _whitelogger has joined #mirage

10:02 demonimin has quit [Remote host closed the connection]

10:04 demonimin has joined #mirage

10:05 xet7_ is now known as xet7

10:05 srenatus[m] has quit [Ping timeout: 240 seconds]

10:11 srenatus[m] has joined #mirage

10:12 demonimin has quit [Ping timeout: 248 seconds]

10:23 yomimono has joined #mirage

10:27 mato_ is now known as mato

10:37 demonimin has joined #mirage

10:37 demonimin has quit [Changing host]

10:37 demonimin has joined #mirage

11:10 NhanH has quit [Ping timeout: 240 seconds]

11:12 NhanH has joined #mirage

11:33 srenatus[m] has quit [Ping timeout: 240 seconds]

11:33 srenatus[m] has joined #mirage

11:37 agarwal1975 has joined #mirage

11:44 agarwal1975 has quit [Quit: agarwal1975]

12:00 rgrinberg has joined #mirage

12:25 srenatus[m] has quit [Ping timeout: 240 seconds]

12:32 srenatus[m] has joined #mirage

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

13:17 mort___ has joined #mirage

13:18 agarwal1975 has joined #mirage

13:20 jermar has quit [Ping timeout: 248 seconds]

13:29 srenatus[m] has quit [Ping timeout: 240 seconds]

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

13:35 srenatus[m] has joined #mirage

13:37 mort___ has joined #mirage

13:43 mort___ has left #mirage [#mirage]

13:58 mcclurmc has joined #mirage

14:03 andreas23 has quit [Quit: Leaving.]

14:26 brson has joined #mirage

14:53 mort___ has joined #mirage

14:53 copy` has joined #mirage

15:10 noddy has joined #mirage

15:12 ricarkol has joined #mirage

15:20 srenatus[m] has quit [Ping timeout: 240 seconds]

15:39 smondet has joined #mirage

15:56 ricarkol has quit [Quit: Page closed]

16:02 NhanH has quit [Ping timeout: 240 seconds]

16:04 mort___1 has joined #mirage

16:04 mort___ has quit [Read error: Connection reset by peer]

16:04 NhanH has joined #mirage

16:21 ebagdasa has joined #mirage

16:25 brson has quit [Ping timeout: 260 seconds]

16:29 brson has joined #mirage

16:32 ebagdasa has quit [Read error: Connection reset by peer]

16:34 yomimono has quit [Quit: Leaving]

16:58 <demonimin> what do the infix operators in a config.ml do: @@, @->, $?

16:58 <demonimin> I have a stripped down unikernel that builds, but I don't understand most of it

17:01 <hannes> demonimin: @@ is from Caml http://caml.inria.fr/pub/docs/manual-ocaml/libref/Pervasives.html#VAL(@@)

17:02 <hannes> @-> from functoria https://mirage.github.io/functoria/Functoria.html#VAL(@-%3E)

17:04 <hannes> a $ b is the same as a (b) (thus syntactic sugar to avoid parens)

17:08 <demonimin> I don't get the difference between @@ and $ yet. Thanks for the functoria link.

17:09 jermar has joined #mirage

17:11 <hannes> ups, ehm... $ is also from functoria https://mirage.github.io/functoria/Functoria.html#VAL($)

17:11 <hannes> (or as part of Functoria_key with a slightly different meaning https://mirage.github.io/functoria/Functoria_key.html#VAL($) )

17:14 <demonimin> Thank you, that's much clearer

17:55 brson has quit [Quit: leaving]

17:58 mort___ has joined #mirage

18:00 mort___2 has joined #mirage

18:02 mort___1 has quit [Ping timeout: 240 seconds]

18:03 mort___ has quit [Ping timeout: 248 seconds]

18:08 rgrinberg has quit [Ping timeout: 250 seconds]

18:33 noddy has quit [Ping timeout: 265 seconds]

18:37 rgrinberg has joined #mirage

18:44 mort___2 has quit [Quit: Leaving.]

19:21 rgrinberg has quit [Ping timeout: 260 seconds]

19:33 rgrinberg has joined #mirage

19:41 mort___ has joined #mirage

19:43 noddy has joined #mirage

20:15 rgrinberg has quit [Read error: Connection reset by peer]

20:18 _whitelogger has joined #mirage

20:35 rgrinberg has joined #mirage

20:39 rgrinberg has quit [Read error: Connection reset by peer]

20:56 rgrinberg has joined #mirage

20:56 copy` has quit [Quit: Connection closed for inactivity]

21:03 rgrinberg has quit [Read error: Connection reset by peer]

21:19 _whitelogger_ has joined #mirage

21:19 _whitelogger has quit [*.net *.split]

21:19 smondet has quit [*.net *.split]

21:19 reynir has quit [*.net *.split]

21:20 tg has quit [Remote host closed the connection]

21:23 Drup has quit [*.net *.split]

21:23 lobo has quit [*.net *.split]

21:23 pris has quit [*.net *.split]

21:24 tg has joined #mirage

21:24 noddy has quit [*.net *.split]

21:28 pris has joined #mirage

21:28 lobo has joined #mirage

21:28 Drup has joined #mirage

21:30 mcclurmc has quit [Ping timeout: 260 seconds]

21:31 strmpnk has quit [Ping timeout: 260 seconds]

21:32 strmpnk has joined #mirage

21:36 mrutland has quit [Ping timeout: 260 seconds]

21:40 mrutland has joined #mirage

21:52 smondet has joined #mirage

21:52 noddy has joined #mirage

22:03 <demonimin> ocaml-cstruct has "let blit_to_string = blit_to_bytes" at https://github.com/mirage/ocaml-cstruct/blob/master/lib/cstruct.ml#L210

22:04 <demonimin> And I get this when calling blit_to_string: "Error: This expression has type string but an expression was expected of type

22:04 <demonimin> Bytes.t = bytes". Am I doing anything wrong?

22:07 brson has joined #mirage

22:07 rgrinberg has joined #mirage

22:13 <demonimin> hmm, seems like mirage is using safe strings, and the module I'm porting isn't designed for it. I'll have to patch it, oh joy

22:24 mcclurmc has joined #mirage

22:33 jermar has quit [Ping timeout: 250 seconds]

22:38 mort___ has quit [Quit: Leaving.]

22:53 agarwal1975 has quit [Quit: agarwal1975]

22:58 mcclurmc has quit [Ping timeout: 248 seconds]