The Dhall Language Project commits | Ecosyste.ms: OpenCollective

Fix typechecking of Sorts in records (#453)

Prior to this change the following did not typecheck, but they should have.
They now correctly ...

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

Fix normalization/unit/EmptyAlternative test (#458)

Order of arguments to merge was wrong.

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

imports have whitespace before the hash (#452)

This seems to be an omission from
https://github.com/dhall-lang/dhall-lang/pull/442

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

Semantic hash tests (#450)

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

Fixed typos and improved notation consistency in semantics (#449)

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

Add logo to README (#59)

github.com/dhall-lang/dhall-kubernetes - 69c85131d17816889311905aaacfcb621dcaf59c authored almost 6 years ago

Make grammar suitable for PEGs, take 2 (#442)

* Inline keywords

* Inline symbols and operators

* Remove whitespace from label and identi...

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

Typecheck vs type inference tests (#447)

* Add typecheck unit tests

Similar to #416, add typecheck tests that use as few features as
...

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

Add logo (#58)

github.com/dhall-lang/dhall-kubernetes - a670cd1fee48b21e9c72baa4533de1ba56f239ac 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

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

Update to reflect new test organization (#874)

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

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

Add enum support to `dhall-bash` (#873)

... as mentioned here: https://github.com/dhall-lang/dhall-haskell/issues/97#issuecomment-477699...

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

Also omit empty arrays with --omitEmpty (#872)

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

Nixify the build (#55)

This makes our build reproducible and consistent

* Disables dhall tests. They don't build in ...

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

Fix parsing of identifiers that overlap with imports (#870)

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

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

Define expression equality as CBOR equality (#866)

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

This adds two new `T...

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

Some shuffling of parser tests (#443)

* Move multiline text tests from normalization to parser

* Move some parser tests into releva...

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

Add support for empty alternatives (#863)

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

This also adds `dhal...

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

Build against `QuickCheck-2.13` (#867)

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

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

Fix parsing test for large expression (#445)

... as part of https://github.com/dhall-lang/dhall-lang/pull/438 I
mistakenly changed the large...

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

LSP. Fix import errors location. Minor clean-up. Add tests for backend/diagnostics. (#868)

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

Fix the encoding of a test (#444)

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

Add support for union alternatives without fields (#438)

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

This adds support for unions with e...

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

Upgrade to Kubernetes 0.13.4 (#53)

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

Centralize Prelude import (#51)

Import the Prelude only in one place, so it's cached and easily overridable

github.com/dhall-lang/dhall-kubernetes - 423db8a8bb5c95de8baac24c8fca4da209bdf4eb authored almost 6 years ago

Add "Projects Using" section to the docs, with dhall-prometheus-operator (#52)

github.com/dhall-lang/dhall-kubernetes - 047e56a442ce76991a0f953b15d57a1c875e2b21 authored almost 6 years ago

Fix `dhall decode` bug (#859)

... as caught by @singpolyma

`Dhall.Binary.unApply` was failing to uncurry functions due to t...

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

Change type declaration inside record to so it is visually distinct from the type

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

Remove deprecated `Path` constructor (#858)

The `Path` constructor was deprecated a long time ago, so it's pretty
safe to remove now

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

Add `--help` information for `--annotate` flag (#856)

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

Add unit tests (#854)

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

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

Allow builtin names as fields (#437)

* Allow builtin names as fields

* Add a success test as well

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

fixes

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

highlight fields in records/unions

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

proper highlight let bind variables

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

urls, files and env variables are working now. Highlighting upper-case labels. Bumped version

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

add output tmLanguage.json validation

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

fix build step

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

organizing things a little bit

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

sort-out README.md

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

({ a = (t: T) } ⫽ { a = (n: N) }): { a: N } (#432)

Fixing what I believe to be a typo in the type checking semantics, the
right-hand type of a rig...

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

Specify equivalence of expressions using the binary encoding (#426)

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

Fix encoding of `largeExpression` parser test case (#431)

The binary encoding specifies that curried function application needs to
be stored in an uncurr...

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

Add `--alpha` flag to α-normalize output (#855)

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

... as suggested by @singpolyma

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

Update `{prelude.,}.dhall-lang.org` (#429)

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

Fix for UnionType (#857)

Fix the type equality check by using judgmental equality

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

Make self-caching Prelude (#424)

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

This adds semantic integrity checks...

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

Clarify language changes approval in CONTRIBUTING.md (#427)

* Clarify language changes approval in CONTRIBUTING.md

Co-Authored-By: Nadrieril <Nadrieril@u...

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

Add normalization unit tests (#416)

Add normalization tests that use as few features as possible to test
each rule specified in sem...

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

Link to Discourse site from `dhall-lang.org` (#852)

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

Remove support for URL fragments (#851)

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

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

Remove support for fragment identifiers (#406)

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

@singpolyma noted that fragment ide...

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

a little better screenshot

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

Merge branch 'master' into feature/preview

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

bump version, add preview feature to changelog, cleaned-up readme

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

Add preview for dhall-to-json dhall-to-text dhall-to-bash and dhall-to-yaml

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

Add CORS support (#846)

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

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

Protect transitive remote imports with CORS check (#411)

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

This change protects against
[serv...

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

Narrow the imports used by the test suite (#850)

As standardized in https://github.com/dhall-lang/dhall-lang/pull/420

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

Make normalization prelude tests import only the package they need (#420)

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

Add `discourse.dhall-lang.org` configuration (#417)

This also includes an SMTP server for `mail.dhall-lang.org` necessary to
send activation e-mail...

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

Update normalization tests (#415)

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

This updates the normalization test...

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

almost working preview

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

correct link to dhall-lsp-server

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

add json-preview command (only command)

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

Add Nix support for `dhall-lsp-server` project (#849)

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

[LSP] add basic formatting (#844)

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

Be more strict when decoding variables named "_" (#847)

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

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

Expand the set of valid quoted labels (#840)

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

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

Fix versions of `dhall-bash`/`dhall-text` (#845)

I forgot to bump these versions when cutting the latest release

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

Expand character set for quoted labels (#408)

This expands quoted labels to permit all non-control ASCII characters except
backticks

One m...

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

Fix decoding of imports (#405)

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

... as caught by @singpolyma

Thi...

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

Clarify how to decode variables named `_` (#407)

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

@singpolyma noted that the standard...

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

Change language around security guarantee (#841)

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

This softens the language to p...

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

Remove special rules for builtins in the grammar (#399)

* Remove special rules for builtins in the grammar

* Add Some keyword back in the grammar

...

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

Add dhall-lsp-server (#843)

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

Version 1.20.1 → 1.21.0 (#839)

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

Add new `--omitEmpty` option (#842)

... as proposed in https://github.com/dhall-lang/dhall-kubernetes/issues/46#issuecomment-4685306...

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

Install mostly static executables on OS X when using Nix (#830)

These aren't fully static executables (they still have some
`/nix/store` references), but they ...

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

Version 5.0.0 → 6.0.0 (#383)

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

Simplify import resolution logic (#833)

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

This also updates th...

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

cleaned up license

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

move ts files. add recursive dhall example

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

almost working dhall tmLanguage syntax

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

Use binary encoding in parser tests (#836)

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

Sort record and union fields when CBOR-encoding (#835)

Also sort fields in the `Arbitrary` instance for `Dhall.Map` in serialization tests

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

Use binary encoding in parser tests (#393)

For reasons specified in #384, this moves the "parser" tests from
CBOR-JSON encoding to binary ...

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

Sort record and union fields before CBOR encoding them (#392)

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

Simplify import resolution judgment (#391)

I realized that there was redundant information being threaded through
the import resolution ju...

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

Fix REPL autocomplete (#837)

This commit fixes an issue that made the last branch of the completer
unreachable.

The secon...

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

Add screenshot, cleaned-up readme and package.json

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

Merge branch 'feature/syntax-dhall'

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

WIP dhall-syntax

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

minor changes to dhall-tmLanguage

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

another attempt at tmLanguage dhall syntax

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

Remove the `constructors` keyword (#829)

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

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

Remove `constructors` keyword (#385)

This represents phase 3 of removing the `constructors` keyword from the
language. See:

* [M...

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

Small improvements to `dhall format` (#831)

Fixes #832 832

This includes two changes:

* Fix a missing newline at the end of `dhall for...

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

add more typescript validations

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

add logFile option

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