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

Fix a type in the nestedReduction test case (#1339)

87f352d66e290133ba407d24800dfbc7704de3c7 authored over 5 years ago

Add a Show instance for Val (#1344)

Since Val contains functions, its Show instance cannot be
derived in the usual way without expos...

72bf46b600e4f94dd90eb6333467b2d8678ef695 authored over 5 years ago

Add link to GHC ticket for rounding issue in Integer/toDouble (#1348)

f825dd18d904f0e5ca185a849cfd914fd8974008 authored over 5 years ago

Version 1.26.0 → 1.26.1 (#1336)

5b136dfa2c42ba41a57aa495091b598cc6414c9f authored over 5 years ago

Build against `Diff-0.4.*` (#1343)

Related to https://github.com/commercialhaskell/stackage/issues/4842

328a6739a896e3007cd11cb9990f8d658ff12256 authored over 5 years ago

Fix inferred type for record projection (#1342)

This ensures that record projection correctly sorts the fields in the
inferred type

This fixes ...

1682c4c5f216b009d6e06a3ede07c3b9d864dd15 authored over 5 years ago

Make sure `dhall-nix` is included in releases (#1340)

Saw on Slack that the Darwin release was missing for `dhall-to-nix`, and from what I've dug up i...

7080883af375095c7dc5cd5f4e2b00b5712687fd authored over 5 years ago

Warn about missing cache directory (#1320)

* Warning action about missing cache dir

* Add warning to executable

* Correct duplicate cache...

08747af8d30a9bcf11490076cdfc8eeca0e6c305 authored over 5 years ago

Use `Dhall.Eval` for type-checking (#1335)

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

The following comment describe ...

95809b467d7b14ba5a4aa5c3f38dce31afa8ab71 authored over 5 years ago

Add `--censor` flag support for censoring type errors (#1329)

* Add `--censor` flag support for censoring type errors

Fixes https://github.com/dhall-lang/dha...

183cc9291a430c9e1baf084f3f6505b6e7cf8d2f authored over 5 years ago

Handle --version consistently (#1334)

* dhall --version

* dhall-to-bash --version

* dhall-to-nix --version

* dhall-lsp-server --ver...

b556a65644ed5d656d0a75a795db7bf18518cb67 authored over 5 years ago

Dhall version (#1332)

* Add Dhall.Version module

* Add Paths_dhall to Autogen-Modules

fe748e28845df42fa54cc566a84d93939c17398d authored over 5 years ago

Different with-http CPP check; fix remote imports in GHCJS (#1330)

Completes the changes in #1311

fa84b0dc198d0de58ca4e8bae9cfcae410c1ad2e authored over 5 years ago

Fix running the type-inference failure tests (#1326)

This fixes several bugs introduced in
fddce0b8cfbaf8ce65eb00bff25971db4c31349e.

0ef00bf5e36f0ea938ee95f88ecc32dffe7aaa68 authored over 5 years ago

dhall: Support GHC 8.8 (#1324)

8ead6012e9543efadd4f4cf635884601e41ded52 authored over 5 years ago

Disable 1-field simplification by default (#1321)

* Disable 1-field simplification by default

This builds on top of #1315 to minimize disruption ...

54241f88c730ba61bada216fefa34773ff160ea6 authored over 5 years ago

dhall type: Add --quiet option (#1325)

Closes #1323.

2fcbf84e2fc15f8fbfb62b15b66d5f681496b253 authored over 5 years ago

Give `dhall repl`'s turnstile an ASCII variant (#1327)

This makes `⊢` print as `|-` under `dhall --ascii repl`.

62ee6ff249c81fbcbcb752912ef2b8b0feaf01ba authored over 5 years ago

Refactor `Dhall.Eval` (#1322)

* Refactor `Dhall.Eval`

This updates the style of `Dhall.Eval` to match the stylistic
and namin...

8bced75668aa42a43ac49b9729e8aced4d7c2efe authored over 5 years ago

Generate artifact zips only for tags (#1319)

cc09c56788809aa85a50752a968252d54a0ae758 authored over 5 years ago

Fix default cache handling in windows (#1272)

* Ignore all stack*.yaml.lock files
* Use `$LOCALAPPDATA` environment variable in windows

640913f8d2cff6d80dfa836efa45ba3aa4220545 authored over 5 years ago

Adjust type inference for record literals (#1309)

… to changes from
https://github.com/dhall-lang/dhall-lang/pull/740.

17c28d4b6c7af557109e9286bd09369030334214 authored over 5 years ago

Simplify `Inject`/`Interpret` for 1-field records (#1315)

* Simplify `Inject`/`Interpret` for 1-field records

Fixes https://github.com/dhall-lang/dhall-h...

ca86ed612c075f60874d99a3b6875e2c2387cfff authored over 5 years ago

Adjust type-checking test setup (#1275)

… in response to https://github.com/dhall-lang/dhall-lang/pull/723.

fddce0b8cfbaf8ce65eb00bff25971db4c31349e authored over 5 years ago

Prevent repl from inserting inferred 'Sort's into context (#1318)

To type-check and evaluate inputs in the context of previous
inputs, the repl constructs a let-e...

1fed9063d506aaa87b9d8048e136cfe88c328f7c authored over 5 years ago

dhall type: Don't normalize inferred types (#1317)

Since some inferred types are in non-normal form, `dhall type`
would previously return types tha...

9d4fa514502cf38e4ad2d7cd1864d2a8ae15eee6 authored over 5 years ago

Fix Haddock formatting in dhallFromJSON (#1316)

8c388c79941de0b9415f6b8225b51f6b49c8a9e9 authored over 5 years ago

Format record fields more compactly if they fit on 1 line (#1314)

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

93943a29c48d8a2e5567120dc85619be5ba1d4da authored over 5 years ago

Add `--censor` switch for disabling source code display (#1312)

* Add `--censor` switch for disabling source code display

Related to #1294

This currently only...

79bd32e4b9b9b078791d212b4fc554e251b16b8e authored over 5 years ago

Improve GHCJS support (cabal build, SHA256 hashing) (#1311)

c29b12833979ead9a5823f51816c10028316a514 authored over 5 years ago

Add `docker-upload` script (#1308)

This is a utility script that I created for updating Docker images for
each release

272b733e523813ce823116a4f4f4fe61b0b07bd1 authored over 5 years ago

Simplify nested record projections (#1307)

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

88c2f29a573d17d680179b4b885817b2b261ef80 authored over 5 years ago

Simplify ⫽ within projection (#1283)

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

796680bb995b785ad486dbf741494ef0c3692628 authored over 5 years ago

Version 1.25.0 → 1.26.0 (#1286)

65710954cf8f2217b9959cd73a5d8a40d03aab39 authored over 5 years ago

Minor bug fixes for yaml-to-dhall error messages (#1305)

Fixes a type mismatch error message which mentions JSON.

Fixes an "arithmetic overflow" excepti...

c8402faa375f93b0069463880cd02f96efa97dbd authored over 5 years ago

dhall-json: Add --output options (#1304)

As requested in #1303.

23910e70e3c5d4a3285a0fba0b7f0b1daa5ef6fe authored over 5 years ago

let-formatting: Insert hardline in front of the '=' instead of behind (#1302)

Fixes #1301.

cb5ccab6362bc8deff1d88a830629360bdd5fe44 authored over 5 years ago

Simplify recursive `Interpret` instance (#1298)

* Simplify recursive `Interpret` instance

Related to https://github.com/dhall-lang/dhall-haskel...

4458cf04a2b8c67d5003f3fdd70cc97591e344f5 authored over 5 years ago

Build against `profunctors-5.5.*` (#1299)

70948b3cbae7f4afc2dea9ec8d09b78460c1a2b2 authored over 5 years ago

Add --no-cache flag (#1290)

When enabled, we handle protected imports as if the semantic cache was
empty:
* Protected im...

37f819c8bb8e7f7e772945cb9bde76b14110772a authored over 5 years ago

dhall-lsp-server: Allow lens 4.18. (#1289)

3bbe3c65242a6b739b2c3e03a69af352e000197e authored over 5 years ago

`Binding` docs + combinators for 1.26 (#1291)

* Add a haddock to explain the various `Binding` fields.

* Add combinators to make dealing with...

a5c77b1db7ca9b5a92f7c79b59c2dbb686600c14 authored over 5 years ago

Re-export `Data.Void.absurd` from `Dhall.TypeCheck` (#1295)

... as suggested by @quasicomputational in:

https://github.com/dhall-lang/dhall-haskell/pull/12...

74a03f3870f7148d01e470a78bf6a565ecea4bdc authored over 5 years ago

Get rid of some CPP by upgrading to generic-random-1.3 (#1292)

d1d0b3d4625076359e9651716f4f47518408bbb5 authored over 5 years ago

Link to "Learn Dhall in Y minutes" tutorial from website (#1288)

bfa6819282eabf125ea0171d10b0f1a7d9a7b959 authored over 5 years ago

Build against `ansi-terminal-0.10.*` (#1287)

04956193e9e1ca5c64262ac9bdbf1cb938f57ce6 authored over 5 years ago

Bump memory (#1285)

eef23eb229f3fc3f07767b1d7791e3cefd9e3bd8 authored over 5 years ago

Fix `{json,yaml}-to-dhall` marshaling into empty lists (#1284)

This is essentially the same fix as #1186, applied in more places

eee75242a4fc54aed140a8dedd290463bf01b849 authored over 5 years ago

Use generic-random for Expr's Arbitrary instance (#1282)

Full coverage of all Expr constructors is now checked by the
type-checker. This revealed that th...

71bb56931db5623c9d6d063efbfb1060edf1d778 authored over 5 years ago

Change `dhall type` to resolve imports (#1281)

* Change `dhall type` to resolve imports

Fixes https://github.com/dhall-lang/dhall-haskell/issu...

8c8ea2a7cedbbf9a9efb972e98e7573d9300a918 authored over 5 years ago

Add ImportAlt to Arbitrary instance, fix isNormalized and diff (#1276)

Also:

* Add @Gabriel439's explanation regarding whitespace as a comment

* Fix precedence in di...

cdbeb61bb18245f4c81f104a8f73fb5e56da07e2 authored over 5 years ago

Strip leading whitespace (#1270)

Fixes #1267.

0ebf705a75bf0e1b2e712ca4d826d749abb5c940 authored over 5 years ago

Fix diffs for `assert` and `≡` (#1266)

... as caught by @sjakobi in https://github.com/dhall-lang/dhall-haskell/issues/1256#issuecommen...

141bd8d6f4d6ebf6add600a2728aab51d250ac17 authored over 5 years ago

Fix `dhall format` to preserve `let` comments (#1273)

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

Note that this also refacto...

96921f03abc9af269be924f4e9cadec5d600fd06 authored over 5 years ago

Fix typechecking of toMap (#1279)

Fixes #1278.

Also improve some formatting.

d86ac06c2abc8da997572cd00c107ce710a85ff4 authored over 5 years ago

Lint: Don't remove asserts wrapped in lambdas or other expressions (#1269)

Also reuse the core linting logic in dhall-lsp-server

350b54c43ed0914200722e9ab78dfed854771a72 authored over 5 years ago

Restore support for records containing both types and terms (#1173)

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

287752563f8f082b0e2790768287c4d5aabc72a1 authored over 5 years ago

Treat multi-lets as syntactic sugar (#1242)

Closes #1185.

This mostly reverts "Add support for multi-`let` (#675)" /
8a5bfaa3b9d1c697d97...

72fd2ac9836dfce1d43d7f137291adf073d299ca authored over 5 years ago

Improve description of `dhall lint` (#1264)

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

64b12f330f6fbeced53e30c7c2e061d3192a89ab authored over 5 years ago

Small fixes to `dhall diff` (#1263)

* Small fixes to `dhall diff`

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

0d266b91c5afcaf7239c008d467c795f43d29c5a authored over 5 years ago

Fix `Inject` instance for lists (#1261)

* Fix `Inject` instance for lists

Fixes #1254

This also adds tests for conversions back and fo...

dbcfe7019d80054bb31778a8dffa140c7351452b authored over 5 years ago

Use `tasty-expected-failure` (#1250)

* Use `tasty-expected-failure`

... to exercise tests that we currently skip

Fixes https://gith...

4445eee87197a0a55023487b83f2ada703ee69f7 authored over 5 years ago

Avoid handling `Note`s in Dhall.Diff (#1260)

* Avoid handling `Note`s in Dhall.Diff

Context: #1256.

* Fix QuickCheck tests

e687b11fc2b247877e5cb8eb219e8c35986981e4 authored over 5 years ago

Fix diff for `Text` literals (#1262)

This is essentially the exact same problem and fix as #1213

Normally I would add a test, except...

557abad60387bb556b660ed0288baa88d370f6da authored over 5 years ago

Improve HTTP errors (#1253)

* Improve HTTP errors

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

This impro...

9ff63b2234e60f7c8435c2de6a87ebd8473b88ee authored over 5 years ago

dhall-lsp-server.cabal: Remove placeholder description, add synopsis (#1259)

eb8b6101a98cae3d167810cdb1bfafe48ba92b63 authored over 5 years ago

Document Dhall support for caching protected imports (#1247)

Fixes #1234

0b3dae74965c792fdbe2951ed582835aac41268e authored over 5 years ago

[dhall format] Prefer unquoted URLs (#1235)

* [dhall format] Prefer unquoted URLs

This updates `dhall format` to prefer unquoted URLs.

I i...

06dc9ab55fbcc8d4a57f1719d0d0766c155e8a80 authored over 5 years ago

Improve diff for non-empty lists (#1244)

* Improve diff for non-empty lists

... as discussed in https://github.com/dhall-lang/dhall-hask...

f3d6a7ac616484e2901b6a34f1ad15a2b92a50da authored over 5 years ago

Run all of the dhall package's tests on Appveyor. (#1142)

This entails a bunch of surgery to the package set used with LTS 6.
Because I was seeing errors,...

4c6d76e4a8569a26f628d6f0c7be573cdc54f1e5 authored over 5 years ago

Throw error when union value is incompatible with Inline nesting (#1226)

93711aecf8590e7feb6e283e97f8cb36e158fcb9 authored over 5 years ago

dhall-lsp-server: Update and expand README.md (#1223)

* Update and expand README.md

* Fix typos

* Fix vscode-dhall-lsp-server instructions

* Add me...

2c16750b46916e671aa716e89cb53d76df7e0882 authored over 5 years ago

Fix type-on-hover over non-dependent function types (#1233)

Previously, hovering over any part of a non-dependent function type like
`Bool -> Bool` would re...

b997d43efd0cf5d580d7c0d86c2665bc7ab6f573 authored over 5 years ago

dhall-lsp-server: Remove superfluous language extensions (#1232)

* Remove superfluous language extensions

* Remove use of ScopedTypeVariables

In order to make ...

6ce01a0edaf2c7baa093fb37cf07928344eb773e authored over 5 years ago

Update dhall-lang submodule, skip test failures (#1240)

The new tests were introduced in dhall-lang/dhall-lang#698.

Also:

* Document shortcommings...

f75d98aa9c5f119561cd9fad81dbb92c33043960 authored over 5 years ago

:help command in repl (#1237)

* :help command in repl (#1236)

* review feedback

96c94ddfc4ac0d7972a1972770f0153255537e16 authored over 5 years ago

Correctly handle dependent types in dhall-lsp-server (#1216)

* Correctly handle dependent types in dhall-lsp-server

Removes the "fast path" when typecheckin...

8c3db821dbc0ad8cfd01d09a58e88126bda717ab authored over 5 years ago

Fix documentation for `UnionInputType` (#1230)

Fixes #1227

0348d18ac75842c0d4a6413c11010d93949e34e4 authored over 5 years ago

Fix `NaN` to be judgmentally equivalent to itself (#1231)

... as required by the standard

Fixes #1224

c392f4a2867683e6aa2c43d5ebe7e765afde449b authored over 5 years ago

Update `README` to mention pre-built OS X executables (#1229)

* Update `README` to mention pre-built OS X executables

* Retain the reference to `brew`

... b...

0256b35087a0c0d1cdec19e64c030b4e5b0e7495 authored over 5 years ago

Add autoWithFix helper function for Interpreting recursive data types (#1161) (#1195)

* Add autoWithFix helper function (#1161)

* Fix some dependencies. Remove TypeApplications exte...

ec8bcf0d63091732e91ce3dab513b8e8641ee46e authored over 5 years ago

Fix `yaml-to-dhall` support for empty objects (#1186)

* Fix `yaml-to-dhall` support for empty objects

`yaml-to-dhall` was decoding an empty object in...

268c79631d2166b1045cfc4997d18350161255aa authored over 5 years ago

Make equivalences of terms of different types fail during typechecking (#1225)

* Make equivalences of terms of different types fail during typechecking

This fixes the `Equiva...

ce17b86bc5d1bc9996e815c4a6605a0db50c1b08 authored over 5 years ago

Remove some redundant sorting during normalization (#1228)

We can rely on the result of an operation on two sorted maps being
sorted already.

94f9f75c6a0cf6caa05557a35fb5d09585bbdae6 authored over 5 years ago

Improve rendering of types when annotating lets (#1222)

Previously the annotated type would have too many line-breaks, e.g. when
the result of annotatin...

4c1736b1546ff24d7a78734d09866f77ee7944eb authored over 5 years ago

Implement missing rules for field selection normalization (#1179)

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

c2cc64140820b4d354e75156ae84124cab273f93 authored over 5 years ago

Only underline link in import (#1217)

This restricts the clickable link part of an import to just the actual
link; previously we also ...

6609270fe4b09800623a7d111a845483f78ce39e authored over 5 years ago

Tune the AppVeyor config some more (#1214)

* Try to cache the extra-deps from stack-lts-6.yaml

* Limit `stack bench` to the dhall package
...

a2118eaeeedd33918b22183ac44fc95eb6d67c6f authored over 5 years ago

Simplify Natural/subtract when its arguments are equivalent (#1220)

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

97f0ff855210e49f637b40bf1ea38978e9a33e63 authored over 5 years ago

Fix diffs for lists (#1213)

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

The original implementation of di...

ecb5814f59e8d5904cc6114b2c059b2435b0936c authored over 5 years ago

Implement "Simplify ⫽ when its arguments are equivalent" (#1196)

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

b9375fc9c76b20be026033d45f1e468a6fa1bd84 authored over 5 years ago

dhall-lsp-server: Implement completion support (#1190)

* Implement completion support

Completes the following:
- environment variables
- local imports...

5f3b05a8f21d6877e5f234ffb7abd74af7c69dcd authored over 5 years ago

dhall-lsp-server: Upgrade to haskell-lsp 0.15 (#1203)

* Clean up dhall-lsp-server.cabal

Removes unused dependencies.

* Upgrade to haskell-lsp-0.15.0...

523861a92c44de590744a84bb24f3294c9580d7b authored over 5 years ago

Make the number of QuickCheck tests overridable on the CLI (#1206)

You can now _increase_ the number of QuickCheck tests with
the --quickcheck-tests CLI option, e....

fc3f79a9df83e591d0898b0de86ea0d010c28bb4 authored over 5 years ago

Try to improve AppVeyor's dependency caching (#1207)

* This might fix a syntax problem:
https://www.appveyor.com/docs/build-cache/#configuring-cach...

e39650ce7f5833f6cf0c1cdc7ff11eb4d50569ec authored over 5 years ago

Prevent "Natural/subtract 0" from causing a panic (#1208)

Previously, normalizing `Natural/subtract 0` would result in this
error:

⊢ Natural/subtract...

0871fcd8577cf397d3b79ae583d84fa818ec02af authored over 5 years ago

Fix isNormalized for field selections (#1210)

In expressions like

({ x : Optional/fold } // {=}).x

isNormalized didn't check if the ...

4559a27bf35afc447a88f41ea1dc5d708767444b authored over 5 years ago

dhall-json: Nesting: Support empty alternatives as contents (#1204)

Closes #1201.

1d58840feb7610a23c6d6e85e3f34be1fece34f8 authored over 5 years ago

Fix `--version` flag handling for `dhall-json` package (#1199)

* Fix `--version` flag handling for `dhall-json` package

Fixes https://github.com/dhall-lang/dh...

d66d1db33fb59b6b44e008f0c1a36ca1c129ddd1 authored over 5 years ago

Add bounds to either dependency (#1202)

`ealt` (which we use) is only available from version 5 up.

ae788fde891a871474cb94b170e246041ea502f0 authored over 5 years ago