The Dhall Language Project commits | Ecosyste.ms: OpenCollective

upgraded/sorted vscode version. Enable debug lsp logging by default. Add preview badge

github.com/dhall-lang/vscode-dhall-lsp-server - ee37b137f1f00db05b66d039fc85946934eadf12 authored almost 6 years ago

add preview badge to the plugin

github.com/dhall-lang/vscode-language-dhall - b18b04d9c032f20a6a8292c242fbe81eb733de12 authored almost 6 years ago

Update README introduction (#386)

This updates the README to mention `dhall-lang.org` and to
also incorporate the new emphasis ...

github.com/dhall-lang/dhall-lang - 48104eba51093b060b8528fff6922e71ce88424f authored almost 6 years ago

Add `:set`/`:unset` commands to `dhall repl` (#828)

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

These allow one to enable or dis...

github.com/dhall-lang/dhall-haskell - 744a90c547581bc53b2f7e7d16151231690767c0 authored almost 6 years ago

Explain how to use `cache.dhall-lang.org` (#827)

Related to #783

github.com/dhall-lang/dhall-haskell - 45a6ceedaa31707aa5e3b24083f4bc2046ed565f authored almost 6 years ago

Fix 'correct' JSON encoding for doubles in parser test (#380)

The file `tests/parser/success/doubleA.dhall` looks like this:

```
[ 1.1, -1.1, 1e1, 1.1e1, ...

github.com/dhall-lang/dhall-lang - 97ce5da4d355d02dbc39f3eadf9e7c6a0a0371b2 authored almost 6 years ago

Add tests to exercise parser tokens for special Double values (#381)

github.com/dhall-lang/dhall-lang - ca7b8767c2d92f1b652d87f91012f21e7b735877 authored almost 6 years ago

CBOR-encode only some special values as half-floats (#822)

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

github.com/dhall-lang/dhall-haskell - 8527a651d7a1ba76ee4d3545b073266abb981796 authored almost 6 years ago

Mention submodule in instructions (#820)

This prevents build failures when running tests for the `dhall` package

github.com/dhall-lang/dhall-haskell - 7604a5870e8783f3d24d97345ecd6b408024bf45 authored almost 6 years ago

Show some details in InvalidType error output (#824)

github.com/dhall-lang/dhall-haskell - d714754e14f66f54075e2979e03a8c90fd93aec2 authored almost 6 years ago

Fix relative precedence of `!=` and `==` (#825)

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

The standard specifies that `!=` sh...

github.com/dhall-lang/dhall-haskell - 5b0686b01ca60d5a0356fe2749f80825799c1274 authored almost 6 years ago

Correct Dhall installation one-liner in README (#826)

The README missed the call to `curl -L`.

github.com/dhall-lang/dhall-haskell - abddcd6678e8affca9ea3c262f6ec9f5b3d9a983 authored almost 6 years ago

Add `linux-dhall*` jobs to Hydra (#821)

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

These can be used to convenientl...

github.com/dhall-lang/dhall-haskell - 8663bfe2967fbad07590a17e90abe60c4ab0c170 authored almost 6 years ago

Add white space to empty lines inside rules (#379)

* Add white space to empty lines inside rules

* Fix white space

github.com/dhall-lang/dhall-lang - 2f38c445ebc906bbb51817bfd9626f9dfeaa16c2 authored almost 6 years ago

CBOR-encode only some special values as half-floats (#376)

The reason for this change is that the JVM doesn't really support 16-bit floats,
so for binary ...

github.com/dhall-lang/dhall-lang - d3735dcc99e83a2c37cec66ec671df499a28611c authored almost 6 years ago

Fix judgment for shifting contexts (#369)

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

The judgment mistakenly implies tha...

github.com/dhall-lang/dhall-lang - 8c0e8b59e2f2bbf43108340f1063d63f9b4b7812 authored almost 6 years ago

Allow whitespace after -Infinity (#377)

github.com/dhall-lang/dhall-lang - 3b2c6ac51ab4e5f47345e5842374f853bb5e3c66 authored almost 6 years ago

add typescript generator for tmlanguage.json

github.com/dhall-lang/vscode-language-dhall - 928815b6e706fe2026147332a8eb8a3b53c1cb70 authored almost 6 years ago

improvements

github.com/dhall-lang/vscode-dhall-lsp-server - ec21a6307ae2f68948c40239726f5e55d520f00a authored almost 6 years ago

add license, clean-up server startup

github.com/dhall-lang/vscode-dhall-lsp-server - d59821573b9ba08d4a08b327604baa52fa61c593 authored almost 6 years ago

trying to get hold of recursion

github.com/dhall-lang/vscode-language-dhall - 0a7867b7d64e6cd3176b3dbc35f60f5adf8a47bb authored almost 6 years ago

move dhall files to syntax-dhall

github.com/dhall-lang/vscode-language-dhall - db4da5875268c81f285285cd19eaa8ae9abc399e authored almost 6 years ago

prepare for publish

github.com/dhall-lang/vscode-language-dhall - a7b6be743763f0b84b5c74d21302a9b8059bd616 authored almost 6 years ago

fix screenshot

github.com/dhall-lang/vscode-language-dhall - 4439ebf39713acbfba58fd41f827bd9419e5ee61 authored almost 6 years ago

Sort out readme, add license

github.com/dhall-lang/vscode-language-dhall - 19fb826b9b901f6fbc95f5272282cff252434fcc authored almost 6 years ago

Alpha version of the syntax. URL and files are not ready. nested strings in the interpolation might cause problems

github.com/dhall-lang/vscode-language-dhall - 3ffd3fe9005873c15926c3375e97fbf68359f5db authored almost 6 years ago

restore doubleB.json (#372)

Seems this was mistakenly truncated. This just reverts the change to
the old content.

github.com/dhall-lang/dhall-lang - 54f22269b9807501d770dfc9df5150f5f5c511ec authored almost 6 years ago

Build dhall-json with lts-6 in appveyor (#818)

github.com/dhall-lang/dhall-haskell - e8d4b78a3f2c3ce26e817b62f09ceb6f01b91467 authored almost 6 years ago

few examples

github.com/dhall-lang/vscode-language-dhall - 4d7b07c5a52e98f91a661291807fc8e5bfeddf83 authored almost 6 years ago

Rename natural-raw to natural-literal-raw (#368)

github.com/dhall-lang/dhall-lang - e7ec16929dc23d563a15601881c4665fc32073ff authored almost 6 years ago

Implement `Text/show` (#811)

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

github.com/dhall-lang/dhall-haskell - e3dde9dfa790db30282f4ef9c1cc0fa1d3201b0b authored almost 6 years ago

Add `Text/show` built-in (#365)

There are two motivations for adding this built-in:

* For consistency with `Natural/show`, `I...

github.com/dhall-lang/dhall-lang - 4085530bc37477f86ab24f99dbdc80988639d583 authored almost 6 years ago

Remove explicit recursion from Dhall lint in favour of micropasses (#817)

github.com/dhall-lang/dhall-haskell - 7349eb08c357036d47fd037eaca105c60caf17df authored almost 6 years ago

Release Dhall 1.3.2.0 (#148)

github.com/dhall-lang/dhall-to-cabal - 3635b8b65ca6a1eafa63613312d2e224e9eda41a authored almost 6 years ago

Run everything through dhall lint & dhall format (#147)

github.com/dhall-lang/dhall-to-cabal - 3f1879d0fc6142bcaa47035311dabdf2fe704536 authored almost 6 years ago

Post dhall-1.20.1 changes (#146)

Various small improvements from @jneira

github.com/dhall-lang/dhall-to-cabal - 63643d460524f733c3878fae4307dc7b276b5116 authored almost 6 years ago

Add a standard-compatibility table (#816)

... as suggested by @jneira here:

https://github.com/dhall-lang/dhall-haskell/issues/791#issu...

github.com/dhall-lang/dhall-haskell - a3495fbe153d44b0b61dab49f72daf008b2b4ace authored almost 6 years ago

Fix import source locations (#815)

.. as caught by @Profpatsch in:

https://github.com/dhall-lang/dhall-haskell/pull/812#issuecom...

github.com/dhall-lang/dhall-haskell - 112efa7df7d11b3f7312dcd24081bfb2489946df authored almost 6 years ago

Support GHC 7.10.3 for all Dhall packages (#814)

This also updates the declared set of GHC versions tested with in the
`.cabal` files

github.com/dhall-lang/dhall-haskell - 68c52785590188e2b39ebc9a7dd2975afb30a8f4 authored almost 6 years ago

Save and load REPL context via :save and :load commands (#807)

The format for the save file is a plain Dhall file containing REPL commands.
This will hopefull...

github.com/dhall-lang/dhall-haskell - d20b1ca60dd7e1dcb7da9b0fb432dd41221f91e8 authored almost 6 years ago

Support Dhall 1.20 (#145)

github.com/dhall-lang/dhall-to-cabal - cb68c3744bdfb3f88d8ee95028b01314e5961604 authored almost 6 years ago

[almost] working extension

github.com/dhall-lang/vscode-dhall-lsp-server - fc2067a6f0cb72035a365efb7b685434e2e21f61 authored about 6 years ago

Fix types in parser tests (#366)

The parser tests had a number of cases where they had Natural and
Integer syntax swapped round....

github.com/dhall-lang/dhall-lang - 471037f6012edf92a8025397e699b93150984847 authored about 6 years ago

poc

github.com/dhall-lang/vscode-language-dhall - 211e199f57a5955d73eeb025582b25302bcddace authored about 6 years ago

Add source position information for missing imports (#812)

Related to #561

This adds source position information to missing imports

Before:

```
$...

github.com/dhall-lang/dhall-haskell - 98497e44ece1bd7ec9e6e09270f863fbb8510f39 authored about 6 years ago

Add `--check` flag to `dhall format` (#810)

Fixes #809

This allows the user to check if the input is formatted instead of formatting
the...

github.com/dhall-lang/dhall-haskell - 2cdaf91636d644638a6700f812fc8b88bd19916f authored about 6 years ago

Add support for Unicode path components (#800)

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

github.com/dhall-lang/dhall-haskell - 2f26dac1fffee690f0dcca7f6841ce3883259a9e authored about 6 years ago

Add Unicode support for quoted path characters (#353)

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

This extends the range of quoted...

github.com/dhall-lang/dhall-lang - c409b11bcd5e94497d3fb65a271822a874e4944d authored about 6 years ago

First commit

github.com/dhall-lang/vscode-dhall-lsp-server - b57ecb92346d83340cae523d1113a38d421dd7f2 authored about 6 years ago

Remove version tag from encoded expressions (#805)

* Remove version tag from encoded expressions

... as standardized in https://github.com/dhall...

github.com/dhall-lang/dhall-haskell - 04ec45803dff952a1c4d7850789eea47fe8881b0 authored about 6 years ago

Don't tag encoded expressions with their hash (#362)

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

The binary representation of Dhall ...

github.com/dhall-lang/dhall-lang - 95fbf9c770927cf306009c79e2687c9230bca777 authored about 6 years ago

Add command-line flags to control where the generated file goes. (#113)

Now it's easy to generate a `.cabal` file with the expected name,
instead of having to manually...

github.com/dhall-lang/dhall-to-cabal - 3180ad1dca943111b42ee342b8d0a124bb8ef3b0 authored about 6 years ago

TODO dhall grammar

github.com/dhall-lang/vscode-language-dhall - bd0c3a8dcefd9e75dab52bda5b69c8c86ffc21db authored about 6 years ago

Change `dhall freeze` to only freeze `Remote` imports (#808)

The motivation behind this change is so that users can freeze remote imports
(like the Prelude)...

github.com/dhall-lang/dhall-haskell - 15d0b8d06388264efde8d5ec10c2aadaa8009060 authored about 6 years ago

Add --immediate-dependencies flag to resolve mode (#803)

This is useful for integrating dhall to build systems where dhall
expressions (e.g. of type `Te...

github.com/dhall-lang/dhall-haskell - b2514ff8bfbc7c8cbd330492bfea7b0c287f9d1b authored about 6 years ago

Fix parser for `natural-raw` (#804)

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

This uses `Text.Megaparsec.Char.Lex...

github.com/dhall-lang/dhall-haskell - 1a94f5558e5d18197816dcc732178233d73e077c authored about 6 years ago

Mention additional language bindings (#361)

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

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

github.com/dhall-lang/dhall-lang - 134fe6cc4129209a900e82ac2e4786f7fcbd2180 authored about 6 years ago

Add :hash command to the repl (#806)

Signed-off-by: Basile Henry <[email protected]>

github.com/dhall-lang/dhall-haskell - 29375ad46285dc610b03e99fb0d9f77809bcb097 authored about 6 years ago

add examples

github.com/dhall-lang/vscode-language-dhall - 23744fa79dccd9fec51502be1df7ec573eb1a3f5 authored about 6 years ago

Build against `ansi-terminal-0.9` (#802)

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

github.com/dhall-lang/dhall-haskell - 54a9ebaab5f24ab453fa351375d2af94561430d1 authored about 6 years ago

add comments, example file

github.com/dhall-lang/vscode-language-dhall - 6d85c6249a49f2ef753ceb3996c5943712d681e6 authored about 6 years ago

Update to latest standard revision (#799)

github.com/dhall-lang/dhall-haskell - bc4fc87043d4a0868f95b726b160806e340222ed authored about 6 years ago

Use a newer revision of Hydra (#354)

This newer revision supports `git` submodules correctly

github.com/dhall-lang/dhall-lang - c58c02ac63e2f47d8431123a9419ab25a7d92858 authored about 6 years ago

add single quotes

github.com/dhall-lang/vscode-language-dhall - 9599e27a21a56bb8f6e9a34fd86da82eb809e54a authored about 6 years ago

Initial commit

github.com/dhall-lang/vscode-language-dhall - f57f4370014e4b77706e12457743ce61643bf3c1 authored about 6 years ago

Add --list flag to dhall resolve (#795)

This commit adds a flag for producing a machine readable listing of
dependencies of a dhall exp...

github.com/dhall-lang/dhall-haskell - 3fbd0d72f85340ddcaa1c5b1ec41da768466df35 authored about 6 years ago

Fix test file suffixes (#347)

The parsing expected output is in JSON, so this change fixes the extension to
be `.json` instea...

github.com/dhall-lang/dhall-lang - 7e84053911b4a03666e2c5b24eef1d1435c95aa6 authored about 6 years ago

Include standard version in `dhall version` output (#793)

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

github.com/dhall-lang/dhall-haskell - 2d2c897e3f43a9b1188ae82e7a1da5b5218fb135 authored about 6 years ago

Fix a typo (#792)

github.com/dhall-lang/dhall-haskell - 0460f28a382a24970d9e93e0aef495509b2639f4 authored about 6 years ago

Move dhall-eta to complete lang bindings (#348)

github.com/dhall-lang/dhall-lang - a42ab8315542dd3337c766173893d0fef4a6d9d0 authored about 6 years ago

Use appveyor to build, test and deploy in windows (#785)

github.com/dhall-lang/dhall-haskell - a2a7985f5e96178a8d5563847b370e665eb9e90d authored about 6 years ago

Don't fail if `$HOME` environment variable is unset (#789)

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

This removes the dependency on t...

github.com/dhall-lang/dhall-haskell - 095ee6db61f858acd5ff04fddabc7dfcca6be365 authored about 6 years ago

Update to Dhall v5.0.0: deprecate `constructors` keyword (#45)

github.com/dhall-lang/dhall-kubernetes - ced5c10af3b80f2053697c8d2b4621044e5e3646 authored about 6 years ago

Change `default.nix` to use static linking when possible (#786)

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

... as suggested by @PierreR in ...

github.com/dhall-lang/dhall-haskell - bebfbf2a5af220048dabd28b0776b1e2d1b6c6ca authored about 6 years ago

Use git submodule to obtain official Prelude and test suite (#787)

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

github.com/dhall-lang/dhall-haskell - 8f3e913cded0b4c0d4f44bf8722c2a485017d5fc authored about 6 years ago

Fix parsing test example (#344)

... as caught by @f-f

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

According ...

github.com/dhall-lang/dhall-lang - 732bf1514e52a1acfa4e2165fb3aa3ce694f78af authored about 6 years ago

Don't disable `-fwarn-incomplete-uni-patterns` at module level (#784)

... as suggested by @ocharles in
https://github.com/dhall-lang/dhall-haskell/commit/c368d66a6f7...

github.com/dhall-lang/dhall-haskell - 96d34ee92a4f8fccf3c84e8dfb61814eb59cbca2 authored about 6 years ago

Fix non-exhaustive pattern match in `dhall lint` (#780)

`dhall lint` would fail on the following expression:

```
let replicate = https://prelude...

github.com/dhall-lang/dhall-haskell - f24f66504798569c28eb1bff51832b3d1df03db9 authored about 6 years ago

Fix parsing of list annotations (#779)

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

According to the standard a n...

github.com/dhall-lang/dhall-haskell - aed91b3b443be1a871c30c19ce5400b7a89714f9 authored about 6 years ago

Build against `http-client-0.6` (#776)

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

github.com/dhall-lang/dhall-haskell - 3a315225d7e689fffb7d2d8ed64c9e05a99ddef7 authored about 6 years ago

Fix Nix build to reinstate `-Werror` (#781)

A refactor of the Nix build accidentally removed the `-Werror` flag, which
caused some warnings...

github.com/dhall-lang/dhall-haskell - f5928e4472c0d45ef7651a7036e91533ea25ca9c authored about 6 years ago

Fix test errors in windows caused by encoding (#782)

github.com/dhall-lang/dhall-haskell - 3f004ff9bb8e5a2b259af9c741809d2a367e9736 authored about 6 years ago

`UnionType` and `UnionInputType`, analogues of `RecordType` and `RecordInputType` (#775)

github.com/dhall-lang/dhall-haskell - ec48c20f04f9a0d32051a42f6853e8b768d19b73 authored about 6 years ago

Add eta support and update stack config to lts-13 (#778)

github.com/dhall-lang/dhall-haskell - d481f47bed80559ae867260257421486636b4220 authored about 6 years ago

Add `inputNormalizer` field to `InterpretOptions` (#777)

This fixes the problem found in https://github.com/dhall-lang/dhall-lang/issues/166#issuecomment...

github.com/dhall-lang/dhall-haskell - 162dde95ac434b84a665c0e39529ca65f1fa887f authored about 6 years ago

Add referential sanity check (#334)

This is a security check upstreamed from the Haskell implementation into the
standard. This pr...

github.com/dhall-lang/dhall-lang - fa3de05fa09a5f465aaaf7ea4b9fc3e2bee88d6f authored about 6 years ago

Version 1.20.0 → 1.20.1 (#773)

github.com/dhall-lang/dhall-haskell - fc3472d0859e11eb059e6f8ec9edc0420546a523 authored about 6 years ago

Further simplify instructions for building locally (#43)

github.com/dhall-lang/dhall-kubernetes - 272c10efc4e002b756c3203e0f05e361dd5cdef0 authored about 6 years ago

Provide default value for `src` in `./release.nix` (#42)

This simplifies local testing

github.com/dhall-lang/dhall-kubernetes - ee0c74c79fb1b986a97f2cacdc3b6179dd0c6f4d authored about 6 years ago

Update standard version to 5.0.0 in Binary.hs (#771)

github.com/dhall-lang/dhall-haskell - 78ca28933533b8601af56b8e1efe632021c6554d authored about 6 years ago

Version 1.19.1 → 1.20.0 (#767)

github.com/dhall-lang/dhall-haskell - 6a70f133a1411731435ab071094b614aac8149e0 authored about 6 years ago

Fix error message for not-equal when type checking (#768)

According to the standard https://github.com/dhall-lang/dhall-lang/blob/master/standard/dhall.ab...

github.com/dhall-lang/dhall-haskell - 528ea424071ae58976478cd0075edb38f6ae8fd5 authored about 6 years ago

Version 4.0.0 → 5.0.0 (#332)

github.com/dhall-lang/dhall-lang - 57ad9d897e3fd098b766355b0e353eb55a68598c authored about 6 years ago

Fix typos in multiplication semantics (#331)

github.com/dhall-lang/dhall-lang - 9011db0e143faf789a56bf9f1ddfc37caa457a90 authored about 6 years ago

Update to latest website (#326)

github.com/dhall-lang/dhall-lang - 60e396cead2efdf73afde8489886e795e5226f46 authored about 6 years ago

Prenormalize substituted expressions (#765)

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

This pre-normalizes expressions ...

github.com/dhall-lang/dhall-haskell - 0b3fd4b624c02171f2b0997d870c0a784960f1a9 authored about 6 years ago

Remove unused files from NixOps configuration (#327)

The files under `nixops/dhall/` were used by the IPFS deployment before
we switched from IPFS t...

github.com/dhall-lang/dhall-lang - ffc543ab095b2629d7ffbb99bc21b27706fb1ba5 authored about 6 years ago

Update versioning process (#328)

... as proposed in https://github.com/dhall-lang/dhall-lang/pull/324#issuecomment-448309792

T...

github.com/dhall-lang/dhall-lang - bd306f1609a5255437417026c81f45d1be497a88 authored about 6 years ago

Fix type-checking bug for unions (#763)

The Haskell implementation was not matching the specification for
type-checking union types:

...

github.com/dhall-lang/dhall-haskell - ca78d7977dd9e5f660e14a1a83ba5586acd30ba9 authored about 6 years ago

Add additional type-checking tests for unions (#329)

Thes tests are inspired by mistakes in the Haskell implementation:

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

github.com/dhall-lang/dhall-lang - a8f9f7344b657b0e19d1d3603f12e6ae5b425e12 authored about 6 years ago