github.com/dhall-lang/dhall-haskell commits | Ecosyste.ms: OpenCollective

Replace criterion with gauge (#1035)

This reduces build times for the benchmarks.

57aab91241678b8a13b776e0f28fac86b70f1d64 authored over 5 years ago

Misc cleanup in Dhall.Map (#1029)

79e33b46f3252ca220553df0d3fc2e60e788a283 authored over 5 years ago

Add type-inference tests (#1023)

Closes #1021.

8285625156832cb9587b214545a8310f9325d1b6 authored over 5 years ago

Allow Sort as type annotation (#1024)

Standardized in https://github.com/dhall-lang/dhall-lang/pull/507.

634f1f3d9af71405122fde9026591ab9365b89e5 authored over 5 years ago

Make the type of extract richer (#1011)

see #387

b9aeb345e4d9ed5bff9b9bd82ffeb76ff9d44ecc authored over 5 years ago

Improve error message for unsaturated `merge` (#1015)

This improves the error message when users attempt to apply `merge` to only
one argument, as su...

c4de94224cf7e75eb8c7c893cacb79eade478c4a authored over 5 years ago

dhall-lsp-server: Correctly handle dependent lets (#1018)

While I do believe the previous version to be correct as well, this
certainly makes it easier t...

8d4aa0320eaa7932a934937a1af6ec9b20680825 authored over 5 years ago

dhall-lsp-server: (new feature) annotate lets (#1014)

dc5f70011d9c0f0c8cbb87d9bcf2283064f61ac7 authored over 5 years ago

fix tutorial typo (#1016)

Thank you!

6fee49d47ca4389b1d59b8237d3f76bb31c4a7a4 authored over 5 years ago

Add `dhall-json` support for weakly-typed JSON values (#1007)

Fixes https://github.com/dhall-lang/dhall-lang/issues/409

This matches the standard represent...

da085435c18a07a9539912dbb49e8a052f24c266 authored over 5 years ago

Fix substitution into record projection by type (#1012)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/1009

The `subst`/`shift`/`subExpress...

5c93429b596b1ff100f049a470dfe9286efb9c01 authored over 5 years ago

Eta support for dhall-json (#1013)

After #989 and #993 the use of the `yaml` package is isolated in the lib modules `Dhall.Yaml` an...

95dc3daae84618d6d2d1d231a4fe76a05c273e5d authored over 5 years ago

dhall-lsp-server: Type on hover (#1008)

* Type on Hover 1/2: Backend

Adds a function typeAt that, given an annotated expression and a...

66833cbfa5a86a0c3dfa76b2ade80292b581d5bd authored over 5 years ago

Minor fix to `dhall diff` (#1006)

`dhall diff` slightly misbehaves when diffing the following expression with
itself:

```dhall...

b001a61a02b691977525f8833798ea3bf1128bac authored over 5 years ago

Fix `--file` option (#1004)

The `--file` option was essentially broken since it passed in the
file path instead of the dire...

53f5fa158e5c5f2ccf6253903954e96c54b60ac6 authored over 5 years ago

Remove support for old-style `List`-like `Optional` literals (#1002)

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

154d1c52cf9af05c4141c9eb6b73935db22a8f8b authored over 5 years ago

dhall-lsp-server: Towards implementing a "convert to JSON" command (#1005)

At the moment the VSCode plugin contains a hacked-together prototype of
a dhall-to-json (and -t...

bed87530b5830a233afa657d51dae113028077d6 authored over 5 years ago

Implement new Unicode braced escape sequence (#987)

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

188ebc8f26a3c3a30001323a097e77a6e0ae213e authored over 5 years ago

Fix linting of unused let bindings (#1001)

* Find unused bindings inside nested lets

The removeUnusedBindings rule only matches the firs...

801e9bc7ab33cf51ae4839bacbe155a4c9652a0f authored over 5 years ago

dhall-lsp-server: Implement linter diagnostics and "Lint and Format" command (#1003)

* Refactor Dhall.LSP.Backend.Formatting

Exposes `formatExpr :: Text -> Expr a Import -> Text`...

af4ccc9db977e972380f59d39a6fbe0c5c01d5b0 authored over 5 years ago

Mention Docker Hub containers in README (#999)

2bf079e63cd670b163e456cb570b57b5f030e88b authored over 5 years ago

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 packag...

d77a9f4e43f475b2d22c0ff1fbb70bff130bb54c authored over 5 years ago

Fix `dhall-json` test failure (#997)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/996

This enables the test suite for ...

6748d155843488b11cc4a92fc5ac3249d82a788a authored over 5 years ago

Switch to native GitHub highlighting for .dhall (#995)

See https://github.com/dhall-lang/dhall-lang/pull/583

0919bafa7b0acd5d04ec62b38cbb0292e611ec1b authored over 5 years ago

dhall-lsp-server: Use LSP VFS rather than disk IO (#994)

* Remove dummy LSP handlers

* Publish diagnostics directly

So far we were using haskell-ls...

05f4d5cd1e9e70aa8d701e093b57b354ed0421dd authored over 5 years ago

Another step in isolate yaml and prepare for HsYaml replacement (#993)

56264270e4b3b0c0df943621c6bcb181691cead2 authored over 5 years ago

Simplify dhall-lsp-server and reorganise its modules (#992)

* Clean up dhall-lsp-server's Main.hs

Also adds haddock comments.

* Remove TODO comment

...

dfee2fbbca32d302d08dfe6053e72781eacad7d6 authored over 5 years ago

Version 1.23.0 → 1.24.0 (#984)

fc5b382238d2475d7c364e1feca1f52382006d9e authored over 5 years ago

Move lens-like utilities to `Dhall.Optics` module (#986)

26bb77e99e8ce9d54be8c3cefe0cce9f97d8cef3 authored over 5 years ago

Fix `Natural/fold` for GHCJS bindings (#985)

Fixes https://github.com/dhall-lang/dhall-lang/issues/579

`Natural/fold` was misbehaving on G...

bb490a7a18c4ae3c1e3091c7315acd93154533be authored over 5 years ago

Updates Nix installation guidelines for NixOS users. (#991)

326626016a208200cd0c607eff795a4d154118ac authored over 5 years ago

Fix compiling of dhall-lsp test (#990)

* Avoid clash between Backend.Dhall.Diagnostics.Range and Language.Haskell.LSP.Types.Range

* ...

00f7478759081ffe074b9b7b425a9cc5f997066f authored over 5 years ago

[dhall-json] Isolate yaml usage behind `Dhall.Yaml` (#989)

1d3f3d32fe4d983bd0f4a0031791c805874121c8 authored over 5 years ago

dhall-lsp-server: Rework diagnostics backend + detailed error messages on hover (#982)

* Refactor Diagnostics backend

This commits refactors Backend.Dhall.Diagnostics, cleaning thi...

49d29d685f39857b621d3ad36efeb7667fbe0a7e authored over 5 years ago

Support older `yaml` versions (#981)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/969

98c7d4dfca32fc65d270634f959ba1e6ca73a247 authored over 5 years ago

Add new `--cache` flag to `dhall freeze` (#980)

Part of https://github.com/dhall-lang/dhall-lang/issues/563

This flag freezes imports in the ...

e8ac5e3bd027da73d536ed542f578a1f45f2ed32 authored over 5 years ago

Add support for improved `using` behavior (#967)

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

8dc52fa3d258f37a8cad8791e6c2df0427c28765 authored over 5 years ago

Bump up lower bound of aeson-pretty (#978)

2a37b2e7bf5800322922ba267738a0c8b19016bf authored over 5 years ago

Update to latest version of standard (#976)

7410f8d3bd962ada3ef893a9329c8f2d25b00bc7 authored over 5 years ago

Use json-to-dhall to implement yaml-to-dhall (#977)

6ec28cda27a918f3df7f7bf0136331c7b40cc2cd authored over 5 years ago

Fix LSP diagnostics to trailing whitespace (#974)

* dhall-lsp-server: Revert from Relude to standard Prelude

The code so far used Relude in pla...

7ba33437e209d3d428cf10ad34e798f55b500c4d authored over 5 years ago

Support projection by record type (#958)

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

3c08c627e88236419352adf43c7adf3e1dea1760 authored over 5 years ago

Dhall.Tutorial: fix shell output formatting (#972)

Fixes #971

6d363ce734dc8073a33c1751ac63544dd50d8679 authored over 5 years ago

Add `:clear` command to `dhall repl` (#966)

Fixes #860

a9bacbecfeab29becf8607cb81929761c6f3f2f8 authored over 5 years ago

Reject wrong type annotation for record/union literals/types (#965)

Fixes #959

411726a3eb3886598c70bd1619f062507c799fba authored over 5 years ago

dhall-json: fix yaml dependency. (#962)

In yaml-0.11, Text.Libyaml was split into the libyaml package. Hence,
as dhall-json imports tha...

f61a3f2fb1b19756d2a010160b99ea0fdf98ac8d authored over 5 years ago

dhall: fix the dhall-command benchmark. (#964)

Seems that Main.Default changed in #949, but this use-site wasn't
changed at the same time.

c9df4d4e47c23ba22ee7e0ee0c4b1d8a90d48f33 authored over 5 years ago

dhall-lsp-server: add tasty-discover to build-tool-depends. (#963)

The test-suite uses the executable at build-time. New-style
cabal-install requires it to be men...

6791341c270a49b15a2c97429b44b98f54792c67 authored over 5 years ago

CPP out Monad.fail definition. (#961)

As Dhall's bounds don't allow base 4.13, this doesn't actually affect
anyone running in a suppo...

d77e174ab7f680f1f5cead1aa778b499db94200e authored over 5 years ago

Fix broken link (#953)

Fixes https://discourse.dhall-lang.org/t/broken-link-on-dhall-lang-org/87

... as caught by @p...

699cbf9020b13fac58b9290f9633daf5217cdc87 authored over 5 years ago

Add chunkExprs. (#954)

7e6ac0181085d3e7262482732e7a3c185f248f57 authored over 5 years ago

Move customization documentation into Haskell package (#951)

Related to https://github.com/dhall-lang/dhall-lang/issues/544

0bbfe6f14c8e794320f5baac316e1fbb88de4a17 authored over 5 years ago

Fix diff output to not double-print key-value separators. (#952)

E.g.,
```
{ unit : …
```
was being printed as
```
{ unit : : …
```

de8e7639dfacea715082f22bd87a4361f003dbba authored over 5 years ago

Build docker images for each package in CI (#950)

Fixes #513

89817b41fd380b17972f04a45ef5ac9cf8d70bba authored over 5 years ago

Add `--file` flag (#949)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/882

This allows users to supply the ...

20f6d8c3168ea92465347ce404e06b7fab1c0b69 authored over 5 years ago

Update to latest version of language standard (#948)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/947

d788b780a219319cd3455d4849fc7aedefa5cb9c authored over 5 years ago

Fix linting tests to only test linting (#945)

The tests were unnecessarily attempting to resolve imports, which is
orthogonal to linting

dadade9dd8de9692ca2bf08f8d765314390a3daf authored over 5 years ago

Change YAML/JSON encoding for `NaN`/`Infinity`/`-Infinity` (#946)

Before, `dhall-to-json`/`dhall-to-yaml` would use approximate
representations for special `Doub...

8139c3678cda23b438a997e294d0d5d73b2b2cad authored over 5 years ago

[POC] Add 'quoted' option (#941)

Allow to generare quoted scalars if needed via providing a custom encode
options to Data.Yaml.e...

07906673afbb7a4f606862ded2a02f1b7826124b authored over 5 years ago

Version 1.22.0 → 1.23.0 (#943)

bf4349ef7acf66779c244ffd2af78cdacc6e754b authored over 5 years ago

Set syntax highlighting for Dhall files (#942)

2530207abbce71bc36c55e33be548e5a7f23db6e authored almost 6 years ago

Add and expose genericInject. (#940)

This is a counterpart to `genericAuto`, which is useful for dealing
with types coming from a li...

48c73f3ef9d4a3eea525a49391c419793f44dbc9 authored almost 6 years ago

Fix another α-normalization bug (#938)

This was caught by the following test:

https://github.com/dhall-lang/dhall-lang/blob/372230d1...

7d56778350655cd9c784e05a853a37834bcae777 authored almost 6 years ago

Reduce dependency requirements to what is in sid (#939)

This make it easier to build the package on debian unstable, which is
the first step towards an...

2fc7f7995957c9359237f2404f8ce9221bd3e1bc authored almost 6 years ago

Fix marshalling of unions (including enums) in and out of Dhall (#936)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/930

a929d4e0bb542e74e467a1389979c37d8990326d authored almost 6 years ago

Fix repl autocomplete for Records and Unions (#937)

29ccd7d0cba24eb1764b251bf4af9f3fd70bba1a authored almost 6 years ago

`dhall freeze` subcommand should respect --ascii flag (#934)

Fixes #877

74fcafe5d387bda37ff3c4844fcddd1aed576ad6 authored almost 6 years ago

Fix merging of sort-level record types. (#891)

Fixes #890

1073d04b8297f487ec9a5a09e45f6724779bc815 authored almost 6 years ago

Fix alpha normalization (#931)

Fixes #929

931dc50522e3bed475ef5d9e0413937609259e9a authored almost 6 years ago

Teach genericAuto about new-style union construction. (#927)

The underlying bug is very similar to #915, and in fact this builds on
the fix for that in #918...

c9ea8b99ca881bd99b4b17be028fa4e11ed43aed authored almost 6 years ago

Add 'cross' flag to simplify cross-compilation (#928)

Co-Authored-By: vmchale <[email protected]>

8fa233336deea7e737d931e0361c7ff9da8c9dd4 authored almost 6 years ago

Remove stack-lts-11.yaml. (#922)

It had bitrotted and wasn't presently building; evidently no-one was
missing it. LTS 6 is activ...

66df01b26c0985363eba0af1edd9d9cd481b7357 authored almost 6 years ago

Use MonadFail.fail, not Monad.fail. (#912)

Monad.fail is no more with GHC 8.8, so this is a forced change.
However, it will also work on o...

4f9defec2516edab4707f85c1bfec7e1eac09f72 authored almost 6 years ago

Converted sample code to doctest for `RecordType`, `UnionInputType`, `RecordInputType`

962a172b53d9777f333d3c5a31b4464d97e67faf authored almost 6 years ago

Add line numbers to error messages (#919)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/905

For example, this file:

```ha...

6d510ee2b1f00ae8f0c212bc7cfc30101392fdea authored almost 6 years ago

Fix `CHANGELOG` for version 1.22.0 (#917)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/914

This mentions breaking changes t...

d69ac6599f4f06896381f99bd9196423168151ae authored almost 6 years ago

Increase lines of context for error messages (#916)

Related to https://github.com/dhall-lang/dhall-haskell/issues/905

This increases the size of ...

d1501b51f920fd78a3539a2f5b8f376b5b903af1 authored almost 6 years ago

Uncomment line from `.cabal` file (#909)

684cbac7be0c28ce60dbe089e1f9ae6c95f6f13f authored almost 6 years ago

Fix marshaling new-style union literals (#918)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/915

07c9c62af33906cc25ef06e0dd137b09bf5cbcc1 authored almost 6 years ago

Explain use case for `dhall-to-nix` (#913)

Fixes https://github.com/dhall-lang/dhall-haskell/issues/902

44a2750ca0c602b9c088937d938e22ebe32f23ba authored almost 6 years ago

Version 1.21.0 → 1.22.0 (#910)

f7fecda09d62f05f2067f3692614c0c890741f5c authored almost 6 years ago

dhall-nix: Fix field-based union access (#907)

Fixes #906.

This adds new translation rules:

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

d3d7baf3e56c8c6f1db77b11a4e06cd183e901cb authored almost 6 years ago

Update to latest test suite (#903)

This requires implementing the following changes to the standard:

* https://github.com/dhall-...

21da6f2b7fa50d8b2d6dd2eb740edd68a621ccb4 authored almost 6 years ago

Automatically discover tests (#897)

This adds a new `Dhall.Test.Util.discover` utility for auto-generating
a `TestTree` from a dire...

7d31506be4c0418f4d930187066b5acf21f41b9b authored almost 6 years ago

dhall-json: Rephrase error message when decoding a bare `None` (#900)

Co-Authored-By: Profpatsch <[email protected]>

86ceb825cde3610d1079c5881147d2eb5866fafb authored almost 6 years ago

shell.nix with the core Dhall tools (#899)

* shell.nix with the core Dhall tools

* Inheriting 'pkgs' from ./nix/shared.nix. Meaningfull ...

f462dcc90a3ec42f77b8f45cf9270df4b1b8df9d authored almost 6 years ago

Add a better error message when decoding a bare `None` (#895)

Fixes #492

1f40b633d6a27a0e3f14148c3b1f1e582c09e76d authored almost 6 years ago

Add a new environment machine normalizer (#876)

- Dhall.Eval: new evaluator, conversion checker and normalizer.
There is no standalone alpha ...

fcca883e00daadc377e784973f4121a28af659a0 authored almost 6 years ago

Add json-to-dhall to appveyor artifacts (#894)

* Add json-to-dhall to dhall-json artifact

* Make json-to-dhall buildable with ghc-7.10

* ...

91f3cae1bf038152a3a7d424c4cb2e2189bc463a authored almost 6 years ago

Make lts-12 the default stack configuration in appveyor to avoid build timeouts (#893)

* Use lts-12
* Remove cache on fail and add workaround to fix build with stack
* Add dhall-lsp...

af2c02cf28ffdfb3250bc692645a5908d39945a3 authored almost 6 years ago

json-to-dhall initial implementation (#884)

* Initial draft of the json-to-dhall tool

* Homogenous JSON maps -> Dhall association lists. ...

c52ae96a0bd8675bb161a8fa1d59fc7a05c70565 authored almost 6 years ago

Add dhall-ruby to website (#892)

Co-Authored-By: singpolyma <[email protected]>

d0fb71b0ba9ae13777b107d9f2050a6be9b07a06 authored almost 6 years ago

Update tests and include dhall-lsp-server in appveyor (#889)

0804689da16d659ccca8e87997bcc8209df1ae0f authored almost 6 years ago

Integrate `dhall-nix` into CI (#887)

f4542d5bc517dd09b92279c4ca19bba42f1995ba authored almost 6 years ago

Merge pull request #886 from dhall-lang/gabriel/dhall_nix

Merge `dhall-nix` into `dhall-haskell`

505bd9240d763a3a247145f0a9a8dc08846cb89c authored almost 6 years ago

Merge remote-tracking branch 'dhall-nix/master' into gabriel/dhall_nix

b59540342eb69345425812fa7ad3b8afce366509 authored almost 6 years ago

Disable tests for dependencies (#883)

This no longer tests dependencies, mainly to lower my maintenance burden. In
particular, this ...

8b6bd4950abc33de9032a2f55ce9f0d9455b62bf authored almost 6 years ago

Update to dhall > 1.19 (#19)

Some things have changed in the dhall expression tree:

- `let` bindings now take a list of bi...

6c38bd89eae3b67ff6d0b6bdafb172e8974198f1 authored almost 6 years ago

Fix typechecking of Sorts in records (#881)

As standardized in dhall-lang/dhall-lang#453

58ae94df0ea28f4688edaf72c59ee19d4f3f284a authored almost 6 years ago

Add support for fields named after built-ins (#875)

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

ba55d55307c11388b59ec857beeb43fa0d16857d authored almost 6 years ago