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
Commit Graph

15 Commits

Author SHA1 Message Date
Gabriel Gonzalez 1349a50f91 Add `Integer/{clamp,negate}` built-ins (#1486) 
... as standardized in https://github.com/dhall-lang/dhall-lang/pull/780
 2019-10-29 17:21:00 +00:00
Gabriel Gonzalez 17fb0e3c46
100% haddock coverage (#1416) 
This updates the `dhall` package to have 100% haddock coverage and
also updates CI to enforce this going forward.

This also includes a change to deprecate the `X` type synonym, which
I noticed along the way
 2019-10-13 22:22:39 -07:00
Gabriel Gonzalez 4b8b8cd730
Add new record completion operator (#1375) 
... as standardized in https://github.com/dhall-lang/dhall-lang/pull/767
 2019-10-11 08:26:51 -07:00
Ollie Charles 4a93c255db Remove Dhall.X and replace with Data.Void (#1172) 
* Remove Dhall.X and replace with Data.Void

This commit removes the Dhall.X module and the Dhall.X.X type,
preferring the use of Data.Void.Void. As I'm sure a lot of people are
actually using X, I've added a type-alias type X = Void. However,
pattern matching on X would be a breaking change.

Fixes #1120.

* Restore unsafeCoerce

* Fix regression

* Unused

* Reorganise exports

* Fix dhall-nix

* Another fix

* Fix Dhall.LSP.Backend.Typing

* Fix dhall-bash
 2019-08-05 13:00:59 +00:00
Gabriel Gonzalez 7f2f57f975
Add support for dependent types (#1164) 2019-08-03 21:38:01 -07:00
Ollie Charles 1b683295fc Implement Natural/subtract (#1133) 
* Implement Natural/truncatedSubtract

* Restore commented out code

* Add pretty printing for Natural/truncatedSubtract

* Flip the order of the arguments

* truncatedSubtract -> subtract

* Whitespace

* Whitespace

* Whitespace

* Whitespace

* Remove a try

* Fix Core.hs

* Add a case in Arbitrary (Expr s a)

* Fix Dhall.JSON

* lift2 -> lift0

* Update Dhall.Diff

* Add extra reduction rules

* Fix

* Update Core.hs

* Update dhall-lang submodule

* Updated dhall-lang

* Try rolling back the dhall-lang revision

* Correct isNormalized

* Add more isNormalized rules

* Update dhall-nix
 2019-08-02 00:12:43 +00:00
Simon Jakobi beb1e7ba6f
Remove old union literal syntax (#1176) 
…as standardized in https://github.com/dhall-lang/dhall-lang/pull/573.

Fixes #1175.
 2019-07-31 04:44:36 +02:00
Mario 8aa2ac3ce9 Implementation of toMap (#1041) 
... as standardized in https://github.com/dhall-lang/dhall-lang/pull/610
 2019-07-15 08:28:29 -07:00
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 5c690f9ca1
Add enum support to `dhall-bash` (#873) 
... as mentioned here: https://github.com/dhall-lang/dhall-haskell/issues/97#issuecomment-477699974

Similar to `dhall-json`, this translates empty alternatives to
strings of the same name
 2019-03-30 10:14:33 -07:00
Gabriel Gonzalez 36f0e55a5f
Remove the `constructors` keyword (#829) 
... as standardized in https://github.com/dhall-lang/dhall-lang/pull/385
 2019-02-27 21:44:36 -08:00
Gabriel Gonzalez e3dde9dfa7
Implement `Text/show` (#811) 
... as standardized in https://github.com/dhall-lang/dhall-lang/pull/365
 2019-02-12 18:42:48 -08:00
Gabriel Gonzalez cfe62c99e9
Fix `dhall-to-bash` translation of `Optional` literals (#736) 
Fixes https://github.com/dhall-lang/dhall-haskell/issues/735
 2018-12-08 13:11:35 -08:00
Pi3r af8226b777 Fix doc (#725) 
`List/length` takes a `Natural` now.
 2018-12-01 07:45:50 -08:00
Gabriel Gonzalez aecfbc9acc
Migrate `dhall-{bash,json,text}` into this repository (#661) 
The motivation for this change is:

* To catch build failures in downstream packages whenever we make a breaking
  change to the `dhall` API
* To reduce the amount of work I need in order to cut a release for all of
  these packages
* To better share Nix/CI-related logic between the projects

Note that I have not yet migrated `dhall-nix` in.  I'm waiting for
https://github.com/dhall-lang/dhall-nix/issues/17 to be fixed since
`dhall-nix` is incompatible with later versions of `megaparsec` due to
`hnix`.
 2018-10-28 17:32:51 -07:00