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

95 Commits

Author SHA1 Message Date
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
Gabriel Gonzalez
497e1c2637 Version 1.0.1 => 1.0.2 2017-04-10 21:07:18 -07:00
Gabriel Gonzalez
6712c046eb Increase upper bound on dhall 2017-04-10 21:03:41 -07:00
Gabriel Gonzalez
1e4698e887 Fix --help output 
`dhall-to-nix` accidentally displays `ExitSuccess` in its `--help`
output because it prints all uncaught exceptions (including
`ExitSuccess`).  This change fixes it to not display `ExitSuccess`
 2017-04-10 21:02:26 -07:00
Gabriel Gonzalez
2feea6aa70 Update README.md 2017-03-01 08:46:20 -08:00
Gabriel Gonzalez
d1bf00db35 Version 1.0.0 => 1.0.1 2017-02-05 13:18:42 -08:00
Gabriel Gonzalez
38d14a3973 Increase upper bound on dhall 2017-02-05 13:16:11 -08:00
Gabriel Gonzalez
f1db042298 Remove unused language extension 2017-01-29 15:28:12 -08:00
Gabriel Gonzalez
53538b0053 Add README.md 2017-01-21 19:13:50 -08:00
Gabriel Gonzalez
1db308c901 Remove support for GHC 7.10 
`hnix` has a `base >= 4.9` requirement which prevents building with
older version of GHC
 2017-01-21 18:43:02 -08:00
Gabriel Gonzalez
d914132ada Add .travis.yml 2017-01-21 18:40:02 -08:00
Gabriel Gonzalez
0e2aff1393 Add a package description 2017-01-21 16:57:15 -08:00
Gabriel Gonzalez
bd30061b50 Add version bounds for dependencies 2017-01-21 16:50:37 -08:00
Gabriel Gonzalez
3b9db6d57f Speed up dhall-to-nix and tests 2017-01-21 16:23:19 -08:00
Gabriel Gonzalez
671eb6343e Update documentation 2017-01-21 15:52:04 -08:00
Gabriel Gonzalez
8119ea3021 Add more tests 2017-01-21 14:53:36 -08:00
Gabriel Gonzalez
ee65879bf1 Add derivation to test Dhall to Nix conversions 2017-01-21 13:46:43 -08:00
Gabriel Gonzalez
e2dc54eea2 Fix Natural/fold translation 2017-01-21 13:46:32 -08:00
Gabriel Gonzalez
c8d9925530 Make Nix translation of (∧) recursive 2017-01-21 11:42:45 -08:00
Gabriel Gonzalez
49d1aeb3bf Update documentation 2017-01-21 08:58:19 -08:00
Gabriel Gonzalez
47fec820ee Include test Nix expression 
This tests that `dhall-to-nix` can be used to build Nix derivations
 2017-01-20 22:38:37 -08:00
Gabriel Gonzalez
f4a6df45a7 Update default.nix 2017-01-20 22:38:25 -08:00
Gabriel Gonzalez
4c0988cb47 Pin encoding to UTF8 2017-01-20 22:38:10 -08:00
Gabriel Gonzalez
5ea197198d Improve error messages 2017-01-20 21:39:43 -08:00
Gabriel Gonzalez
a847d0d433 Simplify executable 2017-01-20 20:45:16 -08:00
Gabriel Gonzalez
80195ffb83 Initial commit 2017-01-20 20:33:49 -08:00