#mirage on 2016-05-13 — 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:01 dsheets has joined #mirage

00:06 dsheets has quit [Ping timeout: 260 seconds]

00:13 dsheets has joined #mirage

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

00:29 brson has quit [Ping timeout: 276 seconds]

00:29 brson has joined #mirage

00:40 dsheets has joined #mirage

00:44 dsheets has quit [Ping timeout: 240 seconds]

00:52 dsheets has joined #mirage

00:56 dsheets has quit [Ping timeout: 244 seconds]

01:03 dsheets has joined #mirage

01:08 dsheets has quit [Ping timeout: 244 seconds]

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

01:19 brson has joined #mirage

01:19 dsheets has joined #mirage

01:24 dsheets has quit [Ping timeout: 276 seconds]

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

01:32 dsheets has joined #mirage

01:36 dsheets has quit [Ping timeout: 250 seconds]

01:44 dsheets has joined #mirage

01:48 dsheets has quit [Ping timeout: 250 seconds]

02:01 brson has joined #mirage

02:10 rgrinberg has quit [Ping timeout: 260 seconds]

02:21 rgrinberg has joined #mirage

02:23 dsheets has joined #mirage

02:27 dsheets has quit [Ping timeout: 252 seconds]

02:30 brson has quit [Ping timeout: 276 seconds]

02:31 brson has joined #mirage

02:36 dsheets has joined #mirage

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

02:50 dsheets has joined #mirage

02:53 brson has quit [Ping timeout: 260 seconds]

02:55 dsheets has quit [Ping timeout: 276 seconds]

03:06 dsheets has joined #mirage

03:06 brson has joined #mirage

03:10 dsheets has quit [Ping timeout: 260 seconds]

03:20 dsheets has joined #mirage

03:24 dsheets has quit [Ping timeout: 260 seconds]

03:25 rgrinberg has quit [Ping timeout: 276 seconds]

03:55 brson has quit [Ping timeout: 244 seconds]

04:35 bsb-the-grey has quit [Ping timeout: 276 seconds]

04:38 bsb-the-grey has joined #mirage

04:59 dsheets has joined #mirage

05:03 dsheets has quit [Ping timeout: 276 seconds]

05:14 dsheets has joined #mirage

05:20 dsheets has quit [Ping timeout: 276 seconds]

05:44 jermar has joined #mirage

05:45 dsheets has joined #mirage

05:50 dsheets has quit [Ping timeout: 260 seconds]

06:27 andreas23 has quit [Quit: Leaving.]

06:50 dsheets has joined #mirage

06:55 dsheets has quit [Ping timeout: 260 seconds]

07:03 dsheets has joined #mirage

07:07 dsheets has quit [Ping timeout: 260 seconds]

07:09 andreas23 has joined #mirage

07:30 dsheets has joined #mirage

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

07:57 dsheets has joined #mirage

07:59 vpm has quit [Ping timeout: 276 seconds]

08:20 djs55 has joined #mirage

08:42 mort___ has joined #mirage

08:44 mort___ has left #mirage [#mirage]

09:34 djs55 has quit [Read error: Connection reset by peer]

09:34 djs551 has joined #mirage

09:46 dsheets_ has joined #mirage

09:46 dsheets has quit [Read error: Connection reset by peer]

09:56 djs55 has joined #mirage

09:57 djs551 has quit [Ping timeout: 252 seconds]

10:03 djs551 has joined #mirage

10:03 djs55 has quit [Read error: Connection reset by peer]

10:06 djs551 has quit [Read error: Connection reset by peer]

10:06 djs55 has joined #mirage

10:08 djs551 has joined #mirage

10:08 djs55 has quit [Read error: Connection reset by peer]

10:10 djs55 has joined #mirage

10:10 djs551 has quit [Read error: Connection reset by peer]

10:10 dsheets_ has quit [Remote host closed the connection]

10:12 djs55 has quit [Read error: Connection reset by peer]

10:12 dsheets has joined #mirage

10:13 djs55 has joined #mirage

10:20 djs551 has joined #mirage

10:20 djs55 has quit [Read error: Connection reset by peer]

10:29 djs55 has joined #mirage

10:29 djs551 has quit [Read error: Connection reset by peer]

10:36 djs55 has quit [Read error: Connection reset by peer]

10:37 djs55 has joined #mirage

10:40 djs55 has quit [Read error: Connection reset by peer]

10:40 djs55 has joined #mirage

10:43 djs55 has quit [Read error: Connection reset by peer]

10:44 djs55 has joined #mirage

10:49 mort___ has joined #mirage

10:50 djs55 has quit [Read error: Connection reset by peer]

10:51 djs55 has joined #mirage

10:56 djs55 has quit [Read error: Connection reset by peer]

10:56 djs55 has joined #mirage

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

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

11:23 dsheets has joined #mirage

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

11:54 wildsebastian has joined #mirage

11:55 dsheets has joined #mirage

11:58 djs55 has joined #mirage

12:03 djs55 has quit [Read error: Connection reset by peer]

12:03 djs55 has joined #mirage

12:05 mort___ has quit [Quit: Leaving.]

12:12 mort___ has joined #mirage

12:14 djs55 has quit [Read error: Connection reset by peer]

12:14 djs55 has joined #mirage

12:16 djs55 has quit [Read error: Connection reset by peer]

12:16 djs551 has joined #mirage

12:20 djs551 has quit [Read error: Connection reset by peer]

12:20 djs55 has joined #mirage

12:25 djs551 has joined #mirage

12:25 djs55 has quit [Read error: Connection reset by peer]

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

12:38 rgrinberg has joined #mirage

12:40 djs55 has joined #mirage

12:42 djs551 has quit [Ping timeout: 276 seconds]

12:48 vpm has joined #mirage

12:50 tomboy65 has joined #mirage

12:51 tomboy64 has quit [Ping timeout: 246 seconds]

12:59 djs551 has joined #mirage

12:59 djs55 has quit [Read error: Connection reset by peer]

13:16 djs55 has joined #mirage

13:16 djs551 has quit [Read error: Connection reset by peer]

13:19 djs55 has quit [Read error: Connection reset by peer]

13:19 djs55 has joined #mirage

13:23 djs551 has joined #mirage

13:25 djs55 has quit [Ping timeout: 244 seconds]

14:01 djs551 has quit [Quit: Leaving.]

14:03 djs55 has joined #mirage

14:13 rudenoise has joined #mirage

14:15 <rudenoise> I have a type annotations question if anyone has time?

14:16 <hannes> just ask! :)

14:16 <rudenoise> so it's this line: https://github.com/rudenoise/mirage-dashboard/blob/info/src/get_info.ml#L8

14:16 <rudenoise> I get a warning of:

14:17 <rudenoise> "not visible in current scope and will not be selected if type becomes unknown)

14:18 <hannes> use info.Github.Repo.repository_description

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

14:20 <rudenoise> I may be missunderstanding

14:21 <rudenoise> I now get Unbound record field Github.Repo.repository_description

14:24 <rudenoise> info.Github_t.repository_description

14:24 <rudenoise> seems to satisfy merlin thanks for the tip-off

14:24 <hannes> ah..

14:25 <hannes> sorry, tried to dig into the Github bindings with not too much success...

14:26 <rudenoise> no worries, got me where I needed to be

14:28 <hannes> :D

14:33 djs55 has quit [Read error: Connection reset by peer]

14:33 djs551 has joined #mirage

14:40 djs55 has joined #mirage

14:40 djs551 has quit [Read error: Connection reset by peer]

14:54 djs551 has joined #mirage

14:54 djs55 has quit [Read error: Connection reset by peer]

14:59 djs551 has quit [Read error: Connection reset by peer]

14:59 djs55 has joined #mirage

15:10 djs551 has joined #mirage

15:10 djs55 has quit [Read error: Connection reset by peer]

15:13 djs55 has joined #mirage

15:13 djs551 has quit [Read error: Connection reset by peer]

15:16 djs55 has quit [Read error: Connection reset by peer]

15:16 djs551 has joined #mirage

15:19 djs551 has quit [Read error: Connection reset by peer]

15:19 djs55 has joined #mirage

15:21 mort___ has joined #mirage

15:23 djs55 has quit [Read error: Connection reset by peer]

15:23 djs55 has joined #mirage

15:26 djs551 has joined #mirage

15:26 djs55 has quit [Read error: Connection reset by peer]

15:27 djs551 has quit [Client Quit]

15:31 wildsebastian has quit [Read error: Connection reset by peer]

15:32 wildsebastian has joined #mirage

15:33 wildseba1 has joined #mirage

15:36 djs55 has joined #mirage

15:37 wildsebastian has quit [Ping timeout: 260 seconds]

16:01 tizoc has left #mirage [#mirage]

16:11 wildseba1 has quit [Ping timeout: 260 seconds]

16:12 dsheets has quit [Remote host closed the connection]

16:15 dsheets has joined #mirage

16:15 rgrinberg has quit [Ping timeout: 246 seconds]

16:16 doecnt has joined #mirage

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

16:25 djs55 has quit [Quit: Leaving.]

16:27 djs55 has joined #mirage

16:33 wildseba1 has joined #mirage

16:36 djs551 has joined #mirage

16:36 djs55 has quit [Read error: Connection reset by peer]

16:38 djs551 has quit [Client Quit]

16:38 djs55 has joined #mirage

16:41 djs551 has joined #mirage

16:41 djs55 has quit [Read error: Connection reset by peer]

16:47 djs55 has joined #mirage

16:47 djs551 has quit [Read error: Connection reset by peer]

16:47 doecnt has quit [Ping timeout: 240 seconds]

16:49 djs551 has joined #mirage

16:49 djs55 has quit [Read error: Connection reset by peer]

16:53 wildseba1 has quit [Ping timeout: 260 seconds]

16:54 wildseba1 has joined #mirage

16:56 justincormack has quit [Remote host closed the connection]

17:00 djs55 has joined #mirage

17:00 djs551 has quit [Read error: Connection reset by peer]

17:03 djs55 has quit [Read error: Connection reset by peer]

17:04 djs55 has joined #mirage

17:04 brson has joined #mirage

17:06 djs55 has quit [Client Quit]

17:07 rudenoise has quit [Quit: rudenoise]

17:08 djs55 has joined #mirage

17:14 djs551 has joined #mirage

17:14 djs55 has quit [Read error: Connection reset by peer]

17:16 djs55 has joined #mirage

17:16 djs551 has quit [Read error: Connection reset by peer]

17:28 brson has quit [Quit: leaving]

17:29 brson has joined #mirage

17:33 justincormack has joined #mirage

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

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

17:51 dsheets has joined #mirage

17:56 dsheets has quit [Ping timeout: 276 seconds]

17:59 djs55 has quit [Quit: Leaving.]

18:03 djs55 has joined #mirage

18:04 djs55 has quit [Client Quit]

18:15 wildseba1 has joined #mirage

19:03 andreas23 has joined #mirage

19:03 brson has quit [Ping timeout: 260 seconds]

19:10 rudenoise has joined #mirage

19:19 wildseba1 has quit [Ping timeout: 276 seconds]

19:43 brson has joined #mirage

19:51 wildseba1 has joined #mirage

20:05 dsheets has joined #mirage

20:10 dsheets has quit [Ping timeout: 260 seconds]

20:20 dsheets has joined #mirage

20:25 dsheets has quit [Ping timeout: 276 seconds]

20:36 dsheets has joined #mirage

20:41 dsheets has quit [Ping timeout: 276 seconds]

20:47 rudenoise has left #mirage [#mirage]

21:05 wildseba1 has quit [Ping timeout: 250 seconds]

21:13 dsheets has joined #mirage

21:18 dsheets has quit [Ping timeout: 276 seconds]

22:23 dsheets has joined #mirage

22:28 dsheets has quit [Ping timeout: 265 seconds]

22:39 dsheets has joined #mirage

22:44 dsheets has quit [Ping timeout: 260 seconds]

23:24 doecnt has joined #mirage

23:50 dsheets has joined #mirage

23:54 dsheets has quit [Ping timeout: 250 seconds]