#mirage on 2015-02-19 — 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:04 MrScout_ has quit [Remote host closed the connection]

00:23 kdef has joined #mirage

00:33 thomasga has joined #mirage

00:45 rgrinberg has joined #mirage

00:51 MrScout has joined #mirage

00:58 MrScout has quit [Read error: Connection reset by peer]

00:59 MrScout has joined #mirage

01:03 rgrinberg has quit [Quit: Leaving.]

01:12 rgrinberg has joined #mirage

01:21 MrScout has quit [Ping timeout: 250 seconds]

01:24 MrScout has joined #mirage

01:25 MrScout has quit [Read error: Connection reset by peer]

01:26 MrScout has joined #mirage

01:47 thomasga has quit [Quit: Leaving.]

01:59 brson has quit [Quit: leaving]

02:07 MrScout has quit [Read error: Connection reset by peer]

03:07 kdef has quit [Quit: Leaving]

03:55 brson has joined #mirage

04:27 youngcaml has joined #mirage

04:52 <youngcaml> I'm looking at a mirage-skeleton example and I'm confused as to how these module names are resolved here: https://github.com/mirage/mirage-skeleton/blob/master/ethifv4/unikernel.ml#L11-L15

04:54 <youngcaml> I can see in "V1_LWT.mli" that there are some modules that almost match the names of those in the link above, but they are in all capital letters, and switching the names in unikernel.ml breaks the example.

04:55 <youngcaml> Furthermore, there isn't a "Dhcp_clientv4" in V1_LWT, so clearly that isn't where those modules are coming from. So I'm pretty stumped as to their provenance.

04:59 <youngcaml> Also, merlin isn't able to tell me the types of those modules - I assume that must be a configuration issue?

05:47 <youngcaml> I found the definitions in mirage.mli

05:48 rgrinberg has quit [Quit: Leaving.]

05:52 youngcaml has quit [Ping timeout: 255 seconds]

06:03 rgrinberg has joined #mirage

07:11 avsm has joined #mirage

07:41 brson has quit [Quit: leaving]

07:43 larhat has joined #mirage

08:43 yomimono has joined #mirage

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

08:56 yomimono has quit [Ping timeout: 252 seconds]

09:08 rgrinberg has quit [Quit: Leaving.]

09:14 mort___ has joined #mirage

09:31 yomimono has joined #mirage

10:07 tg has joined #mirage

10:08 yomimono has quit [Ping timeout: 246 seconds]

10:35 andreas1 has quit [Quit: Leaving.]

10:37 djs55 has joined #mirage

10:38 avsm has joined #mirage

10:43 thomasga1 has joined #mirage

10:50 avsm1 has joined #mirage

10:52 avsm has quit [Ping timeout: 264 seconds]

11:00 avsm has joined #mirage

11:00 avsm1 has quit [Read error: Connection reset by peer]

11:02 thomasga1 has quit [Quit: Leaving.]

11:13 dsheets has quit [Ping timeout: 252 seconds]

11:21 andreas has joined #mirage

11:27 andreas has quit [Ping timeout: 252 seconds]

11:34 dsheets has joined #mirage

11:41 andreas has joined #mirage

11:43 thomasga has joined #mirage

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

12:04 larhat1 has joined #mirage

12:05 larhat has quit [Ping timeout: 265 seconds]

12:09 djs55 has quit [Quit: Leaving.]

13:49 thomasga has joined #mirage

14:38 andreas has quit [Quit: Leaving.]

14:56 avsm has quit [Quit: Leaving.]

14:58 mort___ has quit [Ping timeout: 265 seconds]

14:59 mort___ has joined #mirage

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

15:03 mort___ has quit [Ping timeout: 245 seconds]

15:04 djs55 has joined #mirage

15:12 avsm has joined #mirage

15:12 avsm1 has joined #mirage

15:17 avsm has quit [Ping timeout: 264 seconds]

15:31 mvollrath has joined #mirage

15:37 larhat1 has quit [Quit: Leaving.]

15:43 welterde has joined #mirage

15:54 djs55 has quit [Quit: Leaving.]

16:07 avsm1 has quit [Quit: Leaving.]

16:08 thomasga has joined #mirage

16:20 rgrinberg has joined #mirage

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

16:23 thomasga has joined #mirage

16:30 mort___ has joined #mirage

16:49 MrScout has joined #mirage

16:49 avsm has joined #mirage

16:50 avsm1 has joined #mirage

16:53 avsm has quit [Ping timeout: 240 seconds]

17:07 thomasga has quit [Quit: Leaving.]

17:18 thomasga has joined #mirage

17:42 avsm1 has quit [Quit: Leaving.]

17:44 MrScout has quit [Remote host closed the connection]

18:03 MrScout has joined #mirage

18:06 kdef has joined #mirage

18:33 djs55 has joined #mirage

18:50 dsheets has quit [Ping timeout: 265 seconds]

18:57 avsm has joined #mirage

19:13 <companion_cube> what's the design for macros mentionned in https://github.com/mirage/mirage-www/wiki/Pioneer-Projects ?

19:15 mort___ has quit [Quit: Leaving.]

19:40 brson has joined #mirage

20:11 rgrinberg has quit [Quit: Leaving.]

20:13 dsheets has joined #mirage

20:27 MrScout has quit [Ping timeout: 265 seconds]

20:36 rgrinberg has joined #mirage

20:42 brson has quit [Quit: leaving]

21:09 MrScout has joined #mirage

21:21 brson has joined #mirage

21:22 djs55 has quit [Quit: Leaving.]

21:28 avsm has quit [Quit: Leaving.]

21:59 thomasga has quit [Ping timeout: 265 seconds]

22:22 mort___ has joined #mirage

22:32 thomasga has joined #mirage

22:34 djs55 has joined #mirage

22:51 djs55 has quit [Quit: Leaving.]

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

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

23:39 thomasga has joined #mirage

23:44 thomasga has quit [Ping timeout: 264 seconds]