Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
The Dhall Language Project
Maintainable configuration files
Collective -
Host: opensource -
https://opencollective.com/dhall
- Website: https://dhall-lang.org
- Code: https://github.com/dhall-lang
Should've done this as part of #149 - ah well. I did make sure it
worked on the other two build...
Fixes #528.
The previous semantics would not normalize a text literal such as
"${""}${x}" to...
The only way for a union type to have type `Kind` was using the rule:
Γ ⊢ T :⇥ Kind Γ ...
github.com/dhall-lang/dhall-lang - a628be4dd1866a5afe4cf9b65862acf8f9ccdf12 authored almost 6 years ago* run `dhall format` over Prelude
the `let` expressions indented in the old way was a little ...
github.com/dhall-lang/dhall-lang - dbcf50c27b1592a6acfd38cb3ba976e3a36b74fe authored almost 6 years ago
I transcribed them wrong out of dhall-ruby for the last PR and they each
had a trailing newline.
The test as written has a beta reduction as well as an alpha reduction.
The test only seeks to ...
This case was missing from the type inference unit tests.
github.com/dhall-lang/dhall-lang - 805cdb6849226a8b94bdd7024a1e1236e5b7dae4 authored almost 6 years ago
Similar to how decoding should allow any size number type no matter what
the encoder says to us...
github.com/dhall-lang/dhall-haskell - 2530207abbce71bc36c55e33be548e5a7f23db6e authored almost 6 years ago
github.com/dhall-lang/vscode-dhall-lsp-server - 3881cc819d2d199074ebc93c1f7eeed4005b888f authored almost 6 years ago
github.com/dhall-lang/vscode-dhall-lsp-server - d9418bdda29abaaf09c263571367db7d9ab3a817 authored almost 6 years ago
github.com/dhall-lang/dhall-kubernetes - d2edbe2104cdfa0a1cd94bf3d0d5036b34aab154 authored almost 6 years ago
github.com/dhall-lang/dhall-to-cabal - 70a6cd0ebd1b07f436bc3450bdc08e920d74bdc1 authored almost 6 years ago
This is a counterpart to `genericAuto`, which is useful for dealing
with types coming from a li...
This was caught by the following test:
https://github.com/dhall-lang/dhall-lang/blob/372230d1...
github.com/dhall-lang/dhall-haskell - 7d56778350655cd9c784e05a853a37834bcae777 authored almost 6 years ago* Fix multiline test
I think my git settings ate the whitespace, since it was so malformed
i...
github.com/dhall-lang/dhall-lang - 75cbe77d45e18127b359b0d4ce8dc471abc645e2 authored almost 6 years ago
This make it easier to build the package on debian unstable, which is
the first step towards an...
Fixes https://github.com/dhall-lang/dhall-haskell/issues/930
github.com/dhall-lang/dhall-haskell - a929d4e0bb542e74e467a1389979c37d8990326d authored almost 6 years agogithub.com/dhall-lang/dhall-lang - 3e236d8c6b969b5ae5a484c831751da4f54d1b54 authored almost 6 years ago
Fixes https://github.com/dhall-lang/dhall-lang/issues/505
This upstreams a feature of the Has...
github.com/dhall-lang/dhall-lang - 57ae83d93b873d648384023bd0fb51f31e9f44e8 authored almost 6 years agogithub.com/dhall-lang/dhall-haskell - 29ccd7d0cba24eb1764b251bf4af9f3fd70bba1a authored almost 6 years ago
This change upstreams a nonstandard, but very useful, behaviour from the
Haskell implementation...
github.com/dhall-lang/dhall-lang - 98bba61c7ed309f9f89bd432c3a3954b571a1705 authored almost 6 years ago
github.com/dhall-lang/dhall-lang - 4e8a912931c34af3898b5b9f5552f706926cc0b2 authored almost 6 years ago
Fixes #877
github.com/dhall-lang/dhall-haskell - 74fcafe5d387bda37ff3c4844fcddd1aed576ad6 authored almost 6 years agoFixes #890
github.com/dhall-lang/dhall-haskell - 1073d04b8297f487ec9a5a09e45f6724779bc815 authored almost 6 years agoFixes #929
github.com/dhall-lang/dhall-haskell - 931dc50522e3bed475ef5d9e0413937609259e9a authored almost 6 years ago
The underlying bug is very similar to #915, and in fact this builds on
the fix for that in #918...
Co-Authored-By: vmchale <[email protected]>
github.com/dhall-lang/dhall-haskell - 8fa233336deea7e737d931e0361c7ff9da8c9dd4 authored almost 6 years agogithub.com/dhall-lang/vscode-language-dhall - f05b34ad28c2399c8d69a2e6d06301ee949d4dcb authored almost 6 years ago
github.com/dhall-lang/vscode-language-dhall - 55a86a3e1b2d5ba3e2472b72fef9ce1313e42f79 authored almost 6 years ago
github.com/dhall-lang/vscode-language-dhall - 2b9e35eebf231551f8a24bf4b1a329f368498f85 authored almost 6 years ago
github.com/dhall-lang/dhall-kubernetes - 16a4eabbd504790257d852942b5a83c063db694a authored almost 6 years ago
github.com/dhall-lang/dhall-lang - ace3ff524c19cb5f8aba4052f3e7c9ef5f3cb825 authored almost 6 years ago
This splits up the various import tests, so that each feature can be
tested separately as it is...
It had bitrotted and wasn't presently building; evidently no-one was
missing it. LTS 6 is activ...
The directory was renamed in 7ea70fbf39021c8c01ab85b831fce1aa386482ca
github.com/dhall-lang/dhall-lang - 43490948b89dc8ed1a8d2d4d89edc962f6852248 authored almost 6 years agogithub.com/dhall-lang/dhall-lang - 8623624632b61e78151f0cbc09453e4b9800ade8 authored almost 6 years ago
Monad.fail is no more with GHC 8.8, so this is a forced change.
However, it will also work on o...
This ports the conversion script from Python to Haskell (fix #7)
The main reasons for this po...
github.com/dhall-lang/dhall-kubernetes - 805b432df2b01385ed8b00364ce21e3468af1fed authored almost 6 years agogithub.com/dhall-lang/dhall-haskell - 962a172b53d9777f333d3c5a31b4464d97e67faf authored almost 6 years ago
* Explain the encoding labelling scheme
Also, use "label" instead of "tag", because the word ...
github.com/dhall-lang/dhall-lang - deb557e911d834ed5d3f87ec781754365b46d90c authored almost 6 years agoFixes https://github.com/dhall-lang/dhall-haskell/issues/905
For example, this file:
```ha...
github.com/dhall-lang/dhall-haskell - 6d510ee2b1f00ae8f0c212bc7cfc30101392fdea authored almost 6 years agogithub.com/dhall-lang/dhall-lang - 7104c55c93914016d072de307d60a00feb6779f8 authored almost 6 years ago
Fixes https://github.com/dhall-lang/dhall-haskell/issues/914
This mentions breaking changes t...
github.com/dhall-lang/dhall-haskell - d69ac6599f4f06896381f99bd9196423168151ae authored almost 6 years agoRelated to https://github.com/dhall-lang/dhall-haskell/issues/905
This increases the size of ...
github.com/dhall-lang/dhall-haskell - d1501b51f920fd78a3539a2f5b8f376b5b903af1 authored almost 6 years agogithub.com/dhall-lang/dhall-haskell - 684cbac7be0c28ce60dbe089e1f9ae6c95f6f13f authored almost 6 years ago
Fixes https://github.com/dhall-lang/dhall-haskell/issues/915
github.com/dhall-lang/dhall-haskell - 07c9c62af33906cc25ef06e0dd137b09bf5cbcc1 authored almost 6 years agogithub.com/dhall-lang/dhall-lang - 82f26363463fc8eada14357108947a1895bc9e15 authored almost 6 years ago
This is to aid people who edit the files from the command line and need to
explicitly type out ...
github.com/dhall-lang/dhall-to-cabal - 209ce69025a19f47145aaab1b5a2f1a986665056 authored almost 6 years ago
Fixes #502.
This fixes environmentVariablesB.dhallb to not escape the special
characters in ...
github.com/dhall-lang/dhall-lang - dbb6f20525425525f909d8d85c64268cfb83a9da authored almost 6 years ago
github.com/dhall-lang/dhall-to-cabal - 8efdf2b53196f0927b8d2d5fbcccc4bfc4100bba authored almost 6 years ago
Fixes https://github.com/dhall-lang/dhall-haskell/issues/902
github.com/dhall-lang/dhall-haskell - 44a2750ca0c602b9c088937d938e22ebe32f23ba authored almost 6 years agogithub.com/dhall-lang/dhall-haskell - f7fecda09d62f05f2067f3692614c0c890741f5c authored almost 6 years ago
Fixes #906.
This adds new translation rules:
* <Foo : {} | Bar>.Foo => x: { Bar, Foo }: Fo...
github.com/dhall-lang/dhall-haskell - d3d7baf3e56c8c6f1db77b11a4e06cd183e901cb authored almost 6 years agogithub.com/dhall-lang/dhall-lang - f0509b403ace4b8a72ebb5fa9c473b9aeabeaf33 authored almost 6 years ago
This requires implementing the following changes to the standard:
* https://github.com/dhall-...
github.com/dhall-lang/dhall-haskell - 21da6f2b7fa50d8b2d6dd2eb740edd68a621ccb4 authored almost 6 years agogithub.com/dhall-lang/dhall-lang - d2e4f4a83d69182e20bcdaec4a3f223b95c4b937 authored almost 6 years ago
This adds a new `Dhall.Test.Util.discover` utility for auto-generating
a `TestTree` from a dire...
Co-Authored-By: Profpatsch <[email protected]>
github.com/dhall-lang/dhall-haskell - 86ceb825cde3610d1079c5881147d2eb5866fafb authored almost 6 years agoAlso forbid DeBruijn indices on builtins, so e.g. `Bool@2` is not allowed anymore
github.com/dhall-lang/dhall-lang - 64e1ff6b6e27eb5633e2e803fe8f9d2c6e7c624b authored almost 6 years agogithub.com/dhall-lang/dhall-lang - e309aa9b30c873b52e42422c1f76b6d00228569c authored almost 6 years ago
* shell.nix with the core Dhall tools
* Inheriting 'pkgs' from ./nix/shared.nix. Meaningfull ...
github.com/dhall-lang/dhall-haskell - f462dcc90a3ec42f77b8f45cf9270df4b1b8df9d authored almost 6 years agoFixes #492
github.com/dhall-lang/dhall-haskell - 1f40b633d6a27a0e3f14148c3b1f1e582c09e76d authored almost 6 years ago
Gets rid of a magic "using machine" comment and also allows for useful
normalizations like:
...
github.com/dhall-lang/dhall-lang - 588741c181225bb82eddd325ea1caf105d4745ce authored almost 6 years agogithub.com/dhall-lang/dhall-kubernetes - 5d11c98b86e5ec364c15a017f94cf303d157b268 authored almost 6 years ago
* Fix e-mail support for `discourse.dhall-lang.org`
* Add Ruby as official integration
- Dhall.Eval: new evaluator, conversion checker and normalizer.
There is no standalone alpha ...
And always escape every URI path component before import.
Fixes #456
github.com/dhall-lang/dhall-lang - f4a0a2dd3b55c3191a3ddac941387607699c3dc7 authored almost 6 years agoFixes #462
Built-ins always reference their built-in value, even when there is a
bound varia...
* Add json-to-dhall to dhall-json artifact
* Make json-to-dhall buildable with ghc-7.10
* ...
github.com/dhall-lang/dhall-haskell - 91f3cae1bf038152a3a7d424c4cb2e2189bc463a authored almost 6 years ago
* Use lts-12
* Remove cache on fail and add workaround to fix build with stack
* Add dhall-lsp...
* Initial draft of the json-to-dhall tool
* Homogenous JSON maps -> Dhall association lists. ...
github.com/dhall-lang/dhall-haskell - c52ae96a0bd8675bb161a8fa1d59fc7a05c70565 authored almost 6 years agoThis allows to remove ambiguity with negative-lookahead, e.g. with this rule:
block-comment-c...
github.com/dhall-lang/dhall-lang - 1c8335d9362342c64d3b4ffaa2afac0eecdff209 authored almost 6 years agoAs we identified in #480, the standard was underspecified on this
github.com/dhall-lang/dhall-lang - a8dabaede657b2f1b65a39d4b92e36cb7c3db01e authored almost 6 years agoCo-Authored-By: singpolyma <[email protected]>
github.com/dhall-lang/dhall-haskell - d0fb71b0ba9ae13777b107d9f2050a6be9b07a06 authored almost 6 years ago
This tests for the issue in dhall-lang/dhall-haskell#890. The behavior is
already correct in th...
Forgot to add new section to the TOC before I merged.
github.com/dhall-lang/dhall-lang - 625fd33f66a63a75ba49e887dae6dcc5c118ad7f authored almost 6 years agoFixes https://github.com/dhall-lang/dhall-lang/issues/461
This clarifies that the standard do...
github.com/dhall-lang/dhall-lang - 32add35fb682273c5f264eaa7222839bc9307c3c authored almost 6 years agogithub.com/dhall-lang/dhall-lang - cfd93816cd36e6dce17c216774fde2305233ea0b authored almost 6 years ago
all the other builtins are in alphabetical order. Also, the comments
were mismatched.
Fixes https://github.com/dhall-lang/dhall-lang/issues/472
github.com/dhall-lang/dhall-lang - d3cb36d7f6d0b980b2490bf48f4656ad905cf84b authored almost 6 years agogithub.com/dhall-lang/dhall-lang - 990a752950570770b655322c8038bb516fb41e2f authored almost 6 years ago
github.com/dhall-lang/dhall-haskell - 0804689da16d659ccca8e87997bcc8209df1ae0f authored almost 6 years ago
github.com/dhall-lang/dhall-haskell - f4542d5bc517dd09b92279c4ca19bba42f1995ba authored almost 6 years ago
* Allow `merge x y z`
Currently, parsing `merge x y z` is a parse error, and a surprising one...
github.com/dhall-lang/dhall-lang - 3eeab6df6b3511c4cf67b689b9372e28cf50184e authored almost 6 years agoMerge `dhall-nix` into `dhall-haskell`
github.com/dhall-lang/dhall-haskell - 505bd9240d763a3a247145f0a9a8dc08846cb89c authored almost 6 years ago
There are other tests testing the old syntax, this test serves another
purpose (mostly performa...
github.com/dhall-lang/dhall-haskell - b59540342eb69345425812fa7ad3b8afce366509 authored almost 6 years ago
This no longer tests dependencies, mainly to lower my maintenance burden. In
particular, this ...
Some things have changed in the dhall expression tree:
- `let` bindings now take a list of bi...
github.com/dhall-lang/dhall-nix - cbb9805e7336e4394c080d549294eae4bfd28787 authored almost 6 years agoSome things have changed in the dhall expression tree:
- `let` bindings now take a list of bi...
github.com/dhall-lang/dhall-haskell - 6c38bd89eae3b67ff6d0b6bdafb172e8974198f1 authored almost 6 years agogithub.com/dhall-lang/dhall-lang - af74785a3fd8f7c5ae212af7557ef64b52407a5f authored almost 6 years ago
this is a duplicate of RecordSelectionNormalizeArguments. Maybe a
single test with a more reve...
My implementation was failing this test, but the comments above the
`label` rule weren't helpfu...
* Make every repetition simple
A repetition should contain only a single interesting rule, un...
github.com/dhall-lang/dhall-lang - d317261da2fdf2f997e5c7d87c5b297e427581e0 authored almost 6 years agoAs standardized in dhall-lang/dhall-lang#453
github.com/dhall-lang/dhall-haskell - 58ae94df0ea28f4688edaf72c59ee19d4f3f284a authored almost 6 years ago