The Dhall Language Project commits | Ecosyste.ms: OpenCollective

Use the latest `prettyprinter` library (#287)

This fixes the root cause of e24b3d90faae8dc251d1389812e11c0675edee65 so
that we no longer need...

github.com/dhall-lang/dhall-haskell - be7a5771ea41f3a220916a76e0799f60f3297f35 authored almost 7 years ago

Enforce `-Werror` in CI (#286)

This adds the `-Werror` flag to CI so that warnings don't sneak into the
build (and also fixes ...

github.com/dhall-lang/dhall-haskell - 8e1acafac42e3dfcd4ce5a67aa25ef9790563597 authored almost 7 years ago

Simplify option extraction (#285)

This takes advantage of two features to simplify accessing options
fields:

* This uses `optp...

github.com/dhall-lang/dhall-haskell - 48ca8d18dfaeb89018371f5e63e8506e53be4219 authored almost 7 years ago

Add `dhall-to-cabal` project to Hydra CI (#93)

github.com/dhall-lang/dhall-lang - 8044b9260677b4f7592b2cd2f68c3dfaa1c707c8 authored almost 7 years ago

Generate statically linked executables (#282)

Eventually we will want to encourage users to download pre-built executables
from Hydra, but th...

github.com/dhall-lang/dhall-haskell - adf370370bcc887941ced47a20ef088e62580fb5 authored almost 7 years ago

Fix output rendering (#280)

This change fixes two issues with output rendering

The first was the following panic in the p...

github.com/dhall-lang/dhall-haskell - e24b3d90faae8dc251d1389812e11c0675edee65 authored almost 7 years ago

Add `remote-systems.conf` example (#283)

This is a medium-size example that I frequently use for testing
purposes, so why not add it to ...

github.com/dhall-lang/dhall-haskell - 7ed619e690947e76197f3f0a1e30bfa88a1c4eaf authored almost 7 years ago

Changes to syntax highlighting (#281)

The main thing this does is changing the color scheme as follows:

* Use dull green for all pu...

github.com/dhall-lang/dhall-haskell - 7bb7f90b5c051e814c1680ff034a1819a94db183 authored almost 7 years ago

Expand haddock coverage (#277)

github.com/dhall-lang/dhall-haskell - 4a02a219d2e82b5ce08808372513a58d2f8f4dab authored almost 7 years ago

Split out normalization code into separate files (#276)

This is part of an effort to create a language-independent compliance
test suite by splitting o...

github.com/dhall-lang/dhall-haskell - dc75b72553aa7cc43adbbbecbaf1fac3ee59f4f1 authored almost 7 years ago

Use `shouldParse` instead of `shouldPass` (#275)

`shouldParse` is preferable because it only parses the code and does not
attempt to type-check ...

github.com/dhall-lang/dhall-haskell - eae931f0e170439b91209b8e665d1d832b3f36e1 authored almost 7 years ago

Add support for type-valued fields and alternatives (#273)

... as standardized in https://github.com/dhall-lang/dhall-lang/pull/91

github.com/dhall-lang/dhall-haskell - fe211e7531bd10168c30186abb580f130be925e4 authored almost 7 years ago

Fix pretty-printing of multi-line strings (#272)

Before this change the `dhall` executable would fail on the following input:

```bash
$ dhall...

github.com/dhall-lang/dhall-haskell - cb03de2a704c1dfa92acdf1c121a0698427feb3f authored almost 7 years ago

Remove system-filepath deps and some useless imports (#279)

github.com/dhall-lang/dhall-haskell - 65209a6a4939877554a79b10e78ccdd82a1afeb7 authored almost 7 years ago

Relax upper bound for ansi-terminal (#278)

github.com/dhall-lang/dhall-haskell - dc720c33b8910a9ccfaed90bb57140a6cf745223 authored almost 7 years ago

Allow record fields and union alternatives to be types (#91)

The motivation behind this change is to add support for "modules" to
Dhall, which are just larg...

github.com/dhall-lang/dhall-lang - a0822570a5726af19e88f32b2728496ac42ba7ca authored almost 7 years ago

Fix pretty-printing empty record literals (#269)

They were being printed as `{=]`

github.com/dhall-lang/dhall-haskell - 05677806813ad7893851af2f7fcebe1c89e5db5c authored almost 7 years ago

Fix layout when not using `--pretty` (#271)

The `layoutSmart` option appears to not behave correctly when specifying an
`Unbounded` number ...

github.com/dhall-lang/dhall-haskell - 4733ef8710a513f18c1e66c7623792b6af98755e authored almost 7 years ago

Remove the use of a custom context (#28)

dhall-to-cabal previously used a custom context that contained the `v` function, the `VersionRan...

github.com/dhall-lang/dhall-to-cabal - 9ff68a1a557424ba29a358e065fe07c87a6f2d53 authored almost 7 years ago

Restore missing line in `dhall` output (#270)

The `dhall` executable was missing the empty line separating the type
from the normalized form ...

github.com/dhall-lang/dhall-haskell - 20c4e5f46003570f14bc948664b70328760fe5ca authored almost 7 years ago

Add dhalli, an interactive REPL for Dhall (#266)

This commit introduces dhalli, a fairly minimal Dhall REPL that supports:

* Evalution of Dhal...

github.com/dhall-lang/dhall-haskell - 7f29209ffd423bdce1bf03ea87003db8637c544a authored almost 7 years ago

Have dhall use syntax highlighting if ANSI is supported (#267)

github.com/dhall-lang/dhall-haskell - d329f1017bf9b0b94d84afa293191c17b89febad authored almost 7 years ago

Add dhall/defaults/Benchmark.dhall

It doesn't actually type check as a Benchmark, as it still requires main-is.

Fixes #24

github.com/dhall-lang/dhall-to-cabal - 360678c4cacc5a38f3447d505d054af43d00d12b authored almost 7 years ago

Allow reading input from STDIN

Fixes #25

github.com/dhall-lang/dhall-to-cabal - 41adaf26ceda3603c3da52bb271197dd8f688459 authored almost 7 years ago

Add --explain

Fixes #26

github.com/dhall-lang/dhall-to-cabal - 5517ca6b5b72662d98e28a71427c83734fd01252 authored almost 7 years ago

Use majorVersions

github.com/dhall-lang/dhall-to-cabal - d85626695f07214763a2597f0ec62dc28988ae3c authored almost 7 years ago

Add semantic annotations to the pretty printer (#260)

github.com/dhall-lang/dhall-haskell - a6891fab9c44482d81bbeba23aa89864899d9b6f authored almost 7 years ago

Reject custom contexts that are ill-formed (#259)

Fixes #253

This protects `typeWith` to reject any custom-context that might trigger a
type-c...

github.com/dhall-lang/dhall-haskell - fbac0345b6b54a04751a926099f1a065e837e46f authored almost 7 years ago

Move pretty printing out into Dhall.Pretty (#263)

This commit splits out the pretty printing logic from Dhall.Core into its own
module. Dhall.Cor...

github.com/dhall-lang/dhall-haskell - 49e2e2cef26275a15e12547cc4c7f022bf749cf9 authored almost 7 years ago

Fix small haddock discrepancy (#262)

github.com/dhall-lang/dhall-haskell - be332dabb27ef7ea7f0c9018b3ba709deed3a1c3 authored almost 7 years ago

Replace .gitigore with one from github/gitignore (#264)

github.com/dhall-lang/dhall-haskell - 2254af1379781df2534bc1e33a8e21adf6818856 authored almost 7 years ago

Add dependency.majorVersions to stdlib

This takes a package name and a list of major versions, and returns a Dependency
for that packag...

github.com/dhall-lang/dhall-to-cabal - 75499532c6a2241d24e4ab5f8c8b580ddd0ee2be authored almost 7 years ago

Add stdlib.dhall

github.com/dhall-lang/dhall-to-cabal - 614c7540ad0acc05f87a83ba24814c6f040e405a authored almost 7 years ago

Add MIT "LICENSE" file

github.com/dhall-lang/dhall-to-cabal - 910d41bfc142dea1e457160a0e0f7423735a4baf authored almost 7 years ago

exe: Add a program description

github.com/dhall-lang/dhall-to-cabal - 9636a77fd394b0f54682733cbe32a9d20e7d1813 authored almost 7 years ago

exe: Improve the help of dhall-to-cabal command line arguments

github.com/dhall-lang/dhall-to-cabal - bc1cfe789bb6f4ceaebcfeecf12eead62b9340cf authored almost 7 years ago

exe: Add --builtins

github.com/dhall-lang/dhall-to-cabal - 935ce37171e3721a0d84ee52dfe713391be5b725 authored almost 7 years ago

Add --print-type Guard

github.com/dhall-lang/dhall-to-cabal - 97e86b5a15ffd9a71c7eaebaa7e16bc9e8acc534 authored almost 7 years ago

Replace --print-package-type with --print-type Package

github.com/dhall-lang/dhall-to-cabal - 3882fdf0780d38f8743f1d586449ce4e2ed44ec5 authored almost 7 years ago

Add type to TestSuite

github.com/dhall-lang/dhall-to-cabal - 896ae05f13d09cd293b0c684305802c1ec65d2a4 authored almost 7 years ago

Drop --print-type CompilerFlavor, change --print-type Compiler

--print-type Compiler now just prints the compiler union type. The previous type
isn't really ne...

github.com/dhall-lang/dhall-to-cabal - 2267537ab5e24d9ed262d6d44ac09728acfd5c8b authored almost 7 years ago

NixOps specification for Dhall infrastructure (#89)

This documents how to deploy the Hydra server and also how to set up an
IPFS mirror for the Pre...

github.com/dhall-lang/dhall-lang - 9cbfbfedbf7d93894d2d7c9ab0c648b35cd1dcc0 authored almost 7 years ago

Update to use InsOrdHashMap

github.com/dhall-lang/dhall-to-cabal - 733391e91a5ed069e5a49c9fd6d79a15620f5c0f authored almost 7 years ago

Update shell.nix

github.com/dhall-lang/dhall-to-cabal - b710b7a95df76c12a6ca8ff575c919b8ea5ea7d4 authored almost 7 years ago

Add --print-package-type

Unfortunately it's ambiguous to have --print-type maybe take an argument. The
solution is to use...

github.com/dhall-lang/dhall-to-cabal - c74e75f48db6c5d65f4b68407855e41adc9d597f authored almost 7 years ago

Significantly overhaul --print-type

--print-type now performs some basic common sub-expression lifting before
pretty printing the ty...

github.com/dhall-lang/dhall-to-cabal - 916dd4045d400f2ac421c6136c752028d247aa63 authored almost 7 years ago

Add --print-type to exe:dhall-to-cabal

See #22

github.com/dhall-lang/dhall-to-cabal - 539b0d28e623e346248598962c9e8dbf207fe541 authored almost 7 years ago

Export genericPackageDescription and dhallToCabalContext

Related to #22

github.com/dhall-lang/dhall-to-cabal - ce2a5b2bf1f6dfd1a537467f547862ef73cb5045 authored almost 7 years ago