#nix-darwin on 2018-03-28

00:04 <puffnfresh> shlevy_: hey my team could still use the result of this: https://github.com/NixOS/nix/pull/1949

00:54 Lisanna has quit [Quit: Lisanna]

01:23 ryanartecona has quit [Quit: ryanartecona]

01:52 jrolfs has quit [Ping timeout: 264 seconds]

02:17 jrolfs has joined #nix-darwin

02:22 contrapumpkin has joined #nix-darwin

02:25 jrolfs has quit [Ping timeout: 260 seconds]

02:37 jrolfs has joined #nix-darwin

02:42 jrolfs has quit [Ping timeout: 264 seconds]

03:01 jrolfs has joined #nix-darwin

03:18 philr has joined #nix-darwin

03:21 jrolfs has quit [Ping timeout: 240 seconds]

03:43 zzamboni has joined #nix-darwin

03:54 jrolfs has joined #nix-darwin

04:01 zzamboni has quit [Ping timeout: 246 seconds]

04:03 jrolfs has quit [Ping timeout: 248 seconds]

04:05 jrolfs has joined #nix-darwin

04:21 jrolfs has quit [Ping timeout: 260 seconds]

04:37 zzamboni has joined #nix-darwin

04:54 jrolfs has joined #nix-darwin

04:57 zzamboni has quit [Ping timeout: 240 seconds]

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

05:16 Lisanna has joined #nix-darwin

05:23 zzamboni has joined #nix-darwin

05:40 ryanartecona has joined #nix-darwin

05:42 jrolfs has joined #nix-darwin

05:44 ryanartecona has quit [Ping timeout: 263 seconds]

05:56 zzamboni has quit [Quit: Leaving.]

05:59 zzamboni has joined #nix-darwin

06:13 yastero has quit [Ping timeout: 276 seconds]

06:18 jrolfs has quit [Ping timeout: 265 seconds]

06:19 jrolfs has joined #nix-darwin

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

06:30 zzamboni has joined #nix-darwin

06:39 jrolfs has quit [Ping timeout: 240 seconds]

06:40 jrolfs has joined #nix-darwin

06:44 jrolfs has quit [Ping timeout: 240 seconds]

06:56 jrolfs has joined #nix-darwin

07:00 jrolfs has quit [Ping timeout: 264 seconds]

07:06 zzamboni has quit [Quit: Leaving.]

07:08 zzamboni has joined #nix-darwin

07:09 jrolfs has joined #nix-darwin

07:13 jrolfs has quit [Ping timeout: 246 seconds]

07:33 jrolfs has joined #nix-darwin

07:38 jrolfs has quit [Ping timeout: 260 seconds]

07:38 jrolfs has joined #nix-darwin

08:08 jrolfs has quit [Ping timeout: 264 seconds]

08:12 jrolfs has joined #nix-darwin

08:16 periklis has joined #nix-darwin

08:26 jrolfs has quit [Ping timeout: 256 seconds]

09:17 periklis has quit [Ping timeout: 245 seconds]

09:42 Lisanna has quit [Quit: Lisanna]

09:43 __Sander__ has joined #nix-darwin

10:04 zzamboni has quit [Quit: Leaving.]

10:12 zzamboni has joined #nix-darwin

10:16 zzamboni has quit [Ping timeout: 240 seconds]

10:18 zzamboni has joined #nix-darwin

10:19 domenkozar has quit [Ping timeout: 265 seconds]

10:22 zzamboni has quit [Ping timeout: 240 seconds]

10:24 zzamboni has joined #nix-darwin

10:34 zzamboni has quit [Quit: Leaving.]

10:34 zzamboni has joined #nix-darwin

11:29 zzamboni has quit [Quit: Leaving.]

11:34 zzamboni has joined #nix-darwin

11:36 philr has quit [Quit: WeeChat 2.0.1]

11:44 ryanartecona has joined #nix-darwin

11:49 ryanartecona has quit [Ping timeout: 260 seconds]

13:06 zzamboni has quit [Quit: Leaving.]

13:15 zzamboni has joined #nix-darwin

13:19 zzamboni has quit [Ping timeout: 240 seconds]

13:21 zzamboni has joined #nix-darwin

13:25 zzamboni has quit [Ping timeout: 246 seconds]

13:26 zzamboni has joined #nix-darwin

13:27 zzamboni has quit [Client Quit]

13:28 zzamboni has joined #nix-darwin

13:32 zzamboni has quit [Remote host closed the connection]

13:34 zzamboni has joined #nix-darwin

13:38 zzamboni has quit [Remote host closed the connection]

13:55 zzamboni has joined #nix-darwin

14:12 philr has joined #nix-darwin

14:49 jtojnar_ has joined #nix-darwin

14:51 ryanartecona has joined #nix-darwin

14:52 jtojnar has quit [Ping timeout: 252 seconds]

14:52 jtojnar_ is now known as jtojnar

15:54 yastero has joined #nix-darwin

15:56 jrolfs has joined #nix-darwin

15:59 __Sander__ has quit [Quit: Konversation terminated!]

16:01 yastero has quit [Ping timeout: 276 seconds]

16:02 yastero has joined #nix-darwin

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

16:30 peacememories has joined #nix-darwin

16:32 philr has quit [Ping timeout: 263 seconds]

17:03 periklis has joined #nix-darwin

17:22 jtojnar_ has joined #nix-darwin

17:23 jtojnar has quit [Ping timeout: 264 seconds]

17:23 jtojnar_ is now known as jtojnar

17:28 peacememories has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:29 peacememories has joined #nix-darwin

17:29 ryanartecona has quit [Quit: ryanartecona]

17:35 ryanartecona has joined #nix-darwin

17:37 zzamboni has quit [Quit: Leaving.]

17:37 jtojnar has quit [Quit: jtojnar]

17:39 jtojnar has joined #nix-darwin

17:52 ryanartecona has quit [Quit: ryanartecona]

18:01 jtojnar has quit [Quit: jtojnar]

18:11 ryanartecona has joined #nix-darwin

18:14 shlevy has quit [Quit: Quit]

18:20 peacememories has quit [Quit: Textual IRC Client: www.textualapp.com]

18:25 periklis has quit [Ping timeout: 260 seconds]

18:42 shlevy has joined #nix-darwin

18:55 jtojnar has joined #nix-darwin

19:13 periklis has joined #nix-darwin

19:18 periklis has quit [Ping timeout: 255 seconds]

19:59 ryanartecona has quit [Quit: ryanartecona]

21:42 ryanartecona has joined #nix-darwin

22:03 jtojnar_ has joined #nix-darwin

22:04 jtojnar has quit [Quit: jtojnar]

22:04 jtojnar_ has quit [Remote host closed the connection]

22:05 <johnw> shlevy: hnix made some good strides forward today

22:05 <johnw> the evaluator properly handles imports and default values within function parameter sets

22:05 jtojnar has joined #nix-darwin

22:05 <johnw> and the command-line tool has both --eval and --debug options now

22:08 <LnL> oh! I thought it was just a parser

22:08 <johnw> nope, it's a fairly capable evaluators as well

22:08 <LnL> neat

22:08 <johnw> it's still not 100%, but there's not much left to be done

22:09 <johnw> what's entirely missing is the built infrastracture around it that will execute the scripts

22:09 <johnw> I take it that at some level, mkDerivation is internal to nix-build

22:09 <johnw> ?

22:10 <LnL> well if you can create a drv the daemon can handle the rest

22:10 jtojnar has quit [Ping timeout: 260 seconds]

22:10 <LnL> or nix-store -r

22:11 <johnw> shlevy wants to replace nix-store with an hnix-store

22:12 <johnw> then we would only need to replace the daemon and the CLI

22:14 <LnL> ah, as in the store api or the entire thing?

22:14 <johnw> ideally, all of Nix some day

22:14 <johnw> in order to have a much more principled implementation

22:14 <johnw> with lots of custom tooling

22:18 Sonarpulse has quit [Ping timeout: 276 seconds]

22:22 jtojnar has joined #nix-darwin

22:27 jtojnar has quit [Ping timeout: 264 seconds]

22:40 <johnw> ok, 87 out of 159 of the Nix language tests fail

22:40 <pikajude> jesus

22:40 <pikajude> why

22:41 <pikajude> oh

22:41 <pikajude> oh, I thought you were talking about nix itself, lol

22:41 <pikajude> completely missed the context

22:42 <pikajude> will hnix have row typing at one point? that would be cool

22:43 <johnw> what is row typing?

22:49 ryanartecona has quit [Quit: ryanartecona]

22:49 <pikajude> it's sort of like overloaded record fields i think

22:49 <pikajude> you'd have a datastructure with {field1: type1, field2: type2, ...}

22:50 <pikajude> would be really useful for nix rather than massive untyped attribute sets

22:50 <johnw> hmm...

22:50 <johnw> some of these errors are just failures in checking

22:50 <johnw> for example, the Nix language test says that the file "x: y" should give a parsing error

22:50 <johnw> instead, we parse this to Fix (NAbs (Param "x") (Fix (NSym "y")))

22:51 <johnw> hnix doesn't require well-formedness, it just parses the structure

22:51 <johnw> we'd discover the invalid reference during evaluation

22:51 <johnw> but we can't evaluate "just to check", becasue it would go too far

22:51 <johnw> so I think some preliminary checking is needed

22:58 jtojnar has joined #nix-darwin

23:03 jtojnar has quit [Ping timeout: 256 seconds]

23:03 jtojnar_ has joined #nix-darwin

23:04 jtojnar_ has quit [Remote host closed the connection]

23:05 jtojnar has joined #nix-darwin

23:09 jtojnar has quit [Ping timeout: 240 seconds]

23:12 philr has joined #nix-darwin

23:17 jtojnar has joined #nix-darwin

23:26 <johnw> nice, 10 of those easily fixed by implementing a checkExpr pass

23:27 <johnw> checkExpr would be far more valuable if we had types