ehmry/dhall-haskell
ehmry/dhall-haskell
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,119 Commits 1 Branch 0 Tags 5.5 MiB
5339f1893d
Commit Graph

75 Commits

Author SHA1 Message Date
Gabriel Gonzalez
154d1c52cf
Remove support for old-style List-like Optional literals (#1002) 
... as standardized in https://github.com/dhall-lang/dhall-lang/pull/572
 2019-06-13 17:59:49 -07:00
Gabriel Gonzalez
d77a9f4e43
Restore dhall-nix to build against Hackage (#1000) 
Now that `hnix-0.6.1` is out `dhall-nix` can be built against recent
versions of Hackage packages and will be uploaded as part of the
next release
 2019-06-10 08:29:05 -07:00
Gabriel Gonzalez
fc5b382238
Version 1.23.0 → 1.24.0 (#984) 2019-06-06 17:14:43 -07:00
Gabriel Gonzalez
3c08c627e8
Support projection by record type (#958) 
... as standardized in https://github.com/dhall-lang/dhall-lang/pull/499
 2019-05-27 20:54:42 -07:00
Gabriel Gonzalez
bf4349ef7a
Version 1.22.0 → 1.23.0 (#943) 2019-05-11 13:03:42 -07:00
Gabriel Gonzalez
44a2750ca0
Explain use case for dhall-to-nix (#913) 
Fixes https://github.com/dhall-lang/dhall-haskell/issues/902
 2019-04-27 21:10:02 -07:00
Gabriel Gonzalez
f7fecda09d
Version 1.21.0 → 1.22.0 (#910) 2019-04-27 20:17:34 -07:00
Ollie Charles
d3d7baf3e5
dhall-nix: Fix field-based union access (#907) 
Fixes #906.

This adds new translation rules:

* <Foo : {} | Bar>.Foo => x: { Bar, Foo }: Foo x

* <Foo : {} | Bar>.Foo {=} => { Bar, Foo }: Foo {}

* <Foo : {} | Bar>.Bar => { Bar, Foo }: Bar
 2019-04-27 11:17:01 +01:00
Gabriel Gonzalez
f4542d5bc5
Integrate dhall-nix into CI (#887) 2019-04-11 09:16:43 -07:00
Profpatsch
6c38bd89ea Update to dhall > 1.19 (#19) 
Some things have changed in the dhall expression tree:

- `let` bindings now take a list of bindings
- `Some` and `None` were introduced
- `Text/show` was added

Additionally, dhall switched to an internal `Map` module instead of
`HashMap.Strict.InsOrd`.

Closes: https://github.com/dhall-lang/dhall-nix/issues/18
 2019-04-09 06:59:01 -07:00
Gabriel Gonzalez
a2860c8761 Add correct version of cabal-install to nix-shell (#16) 2018-08-31 08:31:47 -07:00
Gabriel Gonzalez
9c952a80de Version 1.1.5 → 1.1.6 (#15) 2018-08-31 08:23:04 -07:00
Gabriel Gonzalez
382613da5d Build against dhall-1.17.0 (#14) 2018-08-31 08:14:04 -07:00
Gabriel Gonzalez
7e5d14a776 Upgrade to more recent Nixpkgs (#12) 2018-08-11 15:40:33 -05:00
Gabriel Gonzalez
eb6d561503 Build against dhall-1.16.1 (#11) 2018-07-22 00:27:39 -07:00
Gabriel Gonzalez
0ae0367927 Version 1.1.4 → 1.1.5 (#6) 2018-06-28 22:01:43 -07:00
Gabriel Gonzalez
f67b8cc171 Build against dhall-1.5.0 (#5) 2018-06-28 21:56:58 -07:00
Gabriel Gonzalez
16dc491dcf Version 1.1.3 → 1.1.4 (#4) 2018-05-19 10:46:07 -07:00
Gabriel Gonzalez
68871355d1 Build against dhall-1.14.0 (#3) 2018-05-19 10:39:00 -07:00
Gabriel Gonzalez
41e74ee9da Pin nixpkgs 2018-05-01 08:45:39 -07:00
Gabriel Gonzalez
2f7678a67a Version 1.1.2 → 1.1.3 2018-04-28 08:07:35 -07:00
Gabriel Gonzalez
559e6fd13e Build against dhall-1.13.0 2018-04-28 08:06:18 -07:00
Gabriel Gonzalez
354ab1491f Version 1.1.1 → 1.1.2 2018-03-24 10:16:49 -07:00
Gabriel Gonzalez
14ebc0b990 Build against dhall-1.12.0 2018-03-24 10:15:45 -07:00
Gabriel Gonzalez
c2b8c2dedb Increase upper bound on hnix 2018-03-12 08:13:15 -07:00
Gabriel Gonzalez
c441f7cca7 Version 1.1.0 → 1.1.1 2018-03-08 20:31:55 -08:00
Gabriel Gonzalez
79447ec5ee Build against dhall-1.11.0 2018-03-08 20:31:26 -08:00
Gabriel Gonzalez
0d3c572550 Version 1.0.10 → 1.1.0 2018-02-23 20:39:51 -08:00
Gabriel Gonzalez
200dd73b15 Increase upper bound on optparse-generic 2018-02-23 20:37:44 -08:00
Gabriel Gonzalez
534313af18 Build against dhall-1.10.0 2018-02-23 20:35:34 -08:00
Gabriel Gonzalez
8e3a215a8b Fix release.nix to build against nixpkgs 17.09 
Related to https://github.com/dhall-lang/dhall-lang/issues/87
 2018-02-09 20:49:18 -08:00
Gabriel Gonzalez
3834589277 Version 1.0.9 → 1.0.10 2018-01-27 14:09:15 -08:00
Gabriel Gonzalez
be60eb0171 Build against dhall-1.9.* 2018-01-27 10:54:00 -08:00
Gabriel Gonzalez
d8dc1cee26 Version 1.0.9 → 1.0.10 2017-11-03 21:02:00 -07:00
Gabriel Gonzalez
1c65901f1c Increase upper bound on dhall dependency 2017-11-03 21:00:57 -07:00
Gabriel Gonzalez
a86f156338 Version 1.0.7 → 1.0.8 2017-10-10 11:47:52 -07:00
Gabriel Gonzalez
d8ba9e6265 Merge branch 'master' of github.com:Gabriel439/Haskell-Dhall-Nix-Library 2017-10-10 11:47:06 -07:00
Gabriel Gonzalez
1028f8611b Increase upper bound on dhall dependency 2017-10-10 11:45:09 -07:00
Gabriel Gonzalez
c569111272 Version 1.0.6 → 1.0.7 2017-09-17 08:37:52 -07:00
Gabriel Gonzalez
9ba5de49cd Increase upper bound on data-fix 2017-09-17 08:36:59 -07:00
Gabriel Gonzalez
8081a14d41 Version 1.0.5 => 1.0.6 2017-09-02 10:21:11 -07:00
Gabriel Gonzalez
1c319aab3f Increase upper bounds 2017-09-02 10:19:27 -07:00
Gabriel Gonzalez
85693d635d Add shell.nix 2017-09-02 10:19:07 -07:00
Gabriel Gonzalez
03dc610613 Version 1.0.4 => 1.0.5 2017-07-25 21:16:49 -07:00
Gabriel Gonzalez
2c1438637a Build against dhall-1.5.0 2017-07-25 20:54:50 -07:00
Gabriel Gonzalez
24af9b03be Version 1.0.3 => 1.0.4 2017-06-17 13:57:40 -07:00
Gabriel Gonzalez
907f4765f9 Increase upper bound on dhall 2017-06-17 13:56:53 -07:00
Gabriel Gonzalez
d0ee1d26ac Change (∧) to better match pkgs.lib.recursiveUpdate. Fixes #1 
This changes the generated code for `(∧)` to prefer the right attribute
if both arguments share the same key but the correspond values are not
both attribute sets.

Note that in theory this is not even possible in Dhall.  The `(∧)`
operator does not permit you to combine records if they have conflicting
fields that are not both records.  However, in theory you could compile
Dhall code like this to Nix:

```
λ(x : {}) → λ(y : {}) → x ∧ y
```

... and then use the generated Nix code to combine two records with
conflicting fields.  Nix would permit this since the type annotation on
the function arguments is lost in the conversion to Nix.  So even though
users shouldn't be using the code in this way we still care about
gracefully handling the case where users misuse this.

For the case where fields conflict we match the precedence of
`pkgs.lib.recursiveUpdate` which prefers the right field.  `(∧)` is
spiritually modeled after `pkgs.lib.recursiveUpdate` so it should match
the precedence.
 2017-05-28 13:40:55 -07:00
Gabriel Gonzalez
00861cc182 Version 1.0.2 => 1.0.3 2017-05-17 19:30:34 -07:00
Gabriel Gonzalez
878eed3a65 Support latest version of dhall 2017-05-17 19:27:39 -07:00