#mirage on 2014-06-02 — irc logs at freenode.irclog.whitequark.org

00:00 NoNNaN has quit [Remote host closed the connection]

00:01 NoNNaN has joined #mirage

00:17 boogie has quit [Remote host closed the connection]

01:02 cr409 has joined #mirage

01:06 cr409 has quit [Ping timeout: 260 seconds]

01:20 rgrinberg has joined #mirage

01:54 tlockney_away is now known as tlockney

01:56 cr409 has joined #mirage

02:00 cr409 has quit [Ping timeout: 240 seconds]

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

02:50 cr409 has joined #mirage

02:55 cr409 has quit [Ping timeout: 260 seconds]

03:25 NoNNaN has quit [Remote host closed the connection]

03:39 NoNNaN has joined #mirage

03:45 cr409 has joined #mirage

03:49 cr409 has quit [Ping timeout: 252 seconds]

03:58 agarwal1975 has quit [Quit: agarwal1975]

04:21 philtor_ has joined #mirage

04:36 tlockney is now known as tlockney_away

04:39 cr409 has joined #mirage

04:40 philtor_ has quit [Ping timeout: 252 seconds]

04:43 cr409 has quit [Ping timeout: 252 seconds]

05:33 cr409 has joined #mirage

05:37 cr409 has quit [Ping timeout: 240 seconds]

06:27 cr409 has joined #mirage

06:32 cr409 has quit [Ping timeout: 260 seconds]

07:21 cr409 has joined #mirage

07:26 cr409 has quit [Ping timeout: 245 seconds]

07:33 AltGr has joined #mirage

07:34 cr409 has joined #mirage

07:38 cr409 has quit [Ping timeout: 240 seconds]

08:19 thomasga has joined #mirage

08:20 thomasga has quit [Client Quit]

08:27 thomasga has joined #mirage

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

08:50 djs55 has joined #mirage

09:02 thomasga has joined #mirage

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

09:23 thomasga has joined #mirage

09:37 thomasga has quit [Quit: Leaving.]

09:59 dsheets has joined #mirage

10:30 djs55 has quit [Quit: Leaving.]

10:37 thomasga has joined #mirage

10:46 agarwal1975 has joined #mirage

10:47 agarwal1975 has quit [Client Quit]

10:59 agarwal1975 has joined #mirage

11:29 mort___ has joined #mirage

11:33 mort___ has quit [Remote host closed the connection]

11:33 mort___ has joined #mirage

11:41 thomasga has quit [Quit: Leaving.]

11:44 mort___ has quit [Remote host closed the connection]

11:45 mort___ has joined #mirage

11:56 agarwal1975 has quit [Quit: agarwal1975]

12:02 agarwal1975 has joined #mirage

12:15 agarwal1975 has quit [Quit: agarwal1975]

12:20 agarwal1975 has joined #mirage

12:29 avsm1 has joined #mirage

12:36 thomasga has joined #mirage

13:01 avsm has joined #mirage

13:03 avsm1 has quit [Ping timeout: 245 seconds]

13:10 agarwal1975 has quit [Quit: agarwal1975]

13:13 thomasga has quit [Quit: Leaving.]

13:18 agarwal1975 has joined #mirage

13:28 thomasga has joined #mirage

13:59 whitequark has left #mirage [#mirage]

14:10 <dsheets> thomasga, IrminGit.Config.root now seems quite early. what if i want to access multiple repositories or don't know my root statically?

14:13 <thomasga> dsheets: first-class module ?

14:13 <thomasga> it's hard to have a reasonable interface across all backends here … but if you prefer what was before, I can try to revert

14:14 <dsheets> So i have to pass this module around everywhere? I can't pass a value only and use a common functor application?

14:14 <dsheets> i'm not sure what i prefer... before I don't think i specified my root so I never had this problem and I immediately unpacked the first-class module

14:16 <thomasga> I can add a function to change the repo root with a side-effect ...

14:17 <thomasga> that's ugly though

14:17 <thomasga> but you are right, the current behavior is not very practical, I'll see what I can do to improve it

14:19 <dsheets> I guess, to me, the root seems like a run-time parameter that can change from store to store

14:19 <dsheets> i don't know how tightly the store module is bound to some specific invariants that may depend on an on-disk rep, though

14:22 NoNNaN has quit [Remote host closed the connection]

14:22 NoNNaN has joined #mirage

15:05 tlockney_away is now known as tlockney

15:07 avsm has quit [Quit: Leaving.]

15:10 avsm has joined #mirage

15:19 tizoc has quit [Quit: Coyote finally caught me]

15:19 tizoc has joined #mirage

15:20 philtor has joined #mirage

15:25 rgrinberg has joined #mirage

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

15:37 thomasga has joined #mirage

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

15:40 avsm has joined #mirage

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

16:39 mort___ has quit [Ping timeout: 240 seconds]

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

16:54 dsheets has quit [Ping timeout: 240 seconds]

17:46 rgrinberg has quit [Quit: Leaving.]

17:49 rgrinberg has joined #mirage

18:21 rgrinberg has quit [Quit: Leaving.]

18:40 thomasga has quit [Quit: Leaving.]

18:41 avsm has joined #mirage

19:07 rgrinberg has joined #mirage

19:10 avsm has quit [Quit: Leaving.]

19:12 mort___ has joined #mirage

19:22 thomasga has joined #mirage

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

19:53 rgrinberg has quit [Quit: Leaving.]

19:54 rgrinberg has joined #mirage

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

20:46 yomimono has quit [Quit: leaving]

20:51 rgrinberg has joined #mirage

21:10 boogie has joined #mirage

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

21:33 mort___ has joined #mirage

21:57 rgrinberg has quit [Quit: Leaving.]

21:57 mort___ has quit [Quit: Leaving.]

21:58 boogie has quit [Remote host closed the connection]

22:24 rgrinberg has joined #mirage

22:55 agarwal1975 has quit [Quit: agarwal1975]

23:40 NoNNaN has quit [Remote host closed the connection]

23:41 NoNNaN has joined #mirage

23:53 tlockney is now known as tlockney_away