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

Bump nightly resolver to one with Dhall 1.21 in it. (#155)

Should've done this as part of #149 - ah well. I did make sure it
worked on the other two build...

github.com/dhall-lang/dhall-to-cabal - c20332b57b73c3d4875461d4012d42355562681f authored almost 6 years ago
Simplify all eligible text literals (#529)

Fixes #528.

The previous semantics would not normalize a text literal such as
"${""}${x}" to...

github.com/dhall-lang/dhall-lang - a6c59932ca78715be55fc266be4c361e0e050e98 authored almost 6 years ago
add missing base cases for union type type inference (#530)

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
Tidy up prelude (#531)

* 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
Fix self describe CBOR tests (#535)

I transcribed them wrong out of dhall-ruby for the last PR and they each
had a trailing newline.

github.com/dhall-lang/dhall-lang - 092996d5fe5a203a2e1cd97ab5f6c5be70cc3168 authored almost 6 years ago
Isolate FunctionNestedBindingXXFree (#534)

The test as written has a beta reduction as well as an alpha reduction.
The test only seeks to ...

github.com/dhall-lang/dhall-lang - f12c7b5c37b9667162255d9562c811896965effd authored almost 6 years ago
add unit test for type inference of empty alternative (#532)

This case was missing from the type inference unit tests.

github.com/dhall-lang/dhall-lang - 805cdb6849226a8b94bdd7024a1e1236e5b7dae4 authored almost 6 years ago
Allow self-describe-cbor when decoding (#526)

Similar to how decoding should allow any size number type no matter what
the encoder says to us...

github.com/dhall-lang/dhall-lang - e9604099a2a3b520b757ad4845e85f7005fdff25 authored almost 6 years ago
Set syntax highlighting for Dhall files (#942)

github.com/dhall-lang/dhall-haskell - 2530207abbce71bc36c55e33be548e5a7f23db6e authored almost 6 years ago
run npm audit on the project

github.com/dhall-lang/vscode-dhall-lsp-server - 3881cc819d2d199074ebc93c1f7eeed4005b888f authored almost 6 years ago
fix tar vulnerability issue

github.com/dhall-lang/vscode-dhall-lsp-server - d9418bdda29abaaf09c263571367db7d9ab3a817 authored almost 6 years ago
Set syntax highlighting for Dhall files (#63)

github.com/dhall-lang/dhall-kubernetes - d2edbe2104cdfa0a1cd94bf3d0d5036b34aab154 authored almost 6 years ago
Allow tasty 1.2. (#152)

github.com/dhall-lang/dhall-to-cabal - 70a6cd0ebd1b07f436bc3450bdc08e920d74bdc1 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...

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

github.com/dhall-lang/dhall-haskell - 7d56778350655cd9c784e05a853a37834bcae777 authored almost 6 years ago
Fix multiline test (#527)

* Fix multiline test

I think my git settings ate the whitespace, since it was so malformed
i...

github.com/dhall-lang/dhall-lang - 2ae7c0c74265226ecbed018c5f83e0c574a5bc39 authored almost 6 years ago
Fix IP parsing (#522)

github.com/dhall-lang/dhall-lang - 75cbe77d45e18127b359b0d4ce8dc471abc645e2 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...

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

github.com/dhall-lang/dhall-haskell - a929d4e0bb542e74e467a1389979c37d8990326d authored almost 6 years ago
Add some tests (#523)

github.com/dhall-lang/dhall-lang - 3e236d8c6b969b5ae5a484c831751da4f54d1b54 authored almost 6 years ago
Simplify bare interpolations (#515)

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 ago
Fix repl autocomplete for Records and Unions (#937)

github.com/dhall-lang/dhall-haskell - 29ccd7d0cba24eb1764b251bf4af9f3fd70bba1a authored almost 6 years ago
Allow tabs and blank lines in multiline strings (#519)

This change upstreams a nonstandard, but very useful, behaviour from the
Haskell implementation...

github.com/dhall-lang/dhall-lang - 392b84fb517518e02d5359f061285c3d10a6dc9a authored almost 6 years ago
Fix typo: β-normalization → alpha-normalization (#520)

github.com/dhall-lang/dhall-lang - 98bba61c7ed309f9f89bd432c3a3954b571a1705 authored almost 6 years ago
Add regression test for alpha normalization (#521)

github.com/dhall-lang/dhall-lang - 4e8a912931c34af3898b5b9f5552f706926cc0b2 authored almost 6 years ago
`dhall freeze` subcommand should respect --ascii flag (#934)

Fixes #877

github.com/dhall-lang/dhall-haskell - 74fcafe5d387bda37ff3c4844fcddd1aed576ad6 authored almost 6 years ago
Fix merging of sort-level record types. (#891)

Fixes #890

github.com/dhall-lang/dhall-haskell - 1073d04b8297f487ec9a5a09e45f6724779bc815 authored almost 6 years ago
Fix alpha normalization (#931)

Fixes #929

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

github.com/dhall-lang/dhall-haskell - c9ea8b99ca881bd99b4b17be028fa4e11ed43aed authored almost 6 years ago
Add 'cross' flag to simplify cross-compilation (#928)

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

github.com/dhall-lang/dhall-haskell - 8fa233336deea7e737d931e0361c7ff9da8c9dd4 authored almost 6 years ago
removed deprecated tsc package

github.com/dhall-lang/vscode-language-dhall - f05b34ad28c2399c8d69a2e6d06301ee949d4dcb authored almost 6 years ago
add proper build and package scripts

github.com/dhall-lang/vscode-language-dhall - 55a86a3e1b2d5ba3e2472b72fef9ce1313e42f79 authored almost 6 years ago
Updated tmlanguage schema. Changed schema validator to ajv json-schema-v6. Generated model. Simplified language definition. Reformatted language definition.

github.com/dhall-lang/vscode-language-dhall - 2b9e35eebf231551f8a24bf4b1a329f368498f85 authored almost 6 years ago
Add link to stack website (#61)

github.com/dhall-lang/dhall-kubernetes - 16a4eabbd504790257d852942b5a83c063db694a authored almost 6 years ago
A simple test case that found a bug in dhall-ruby (#518)

github.com/dhall-lang/dhall-lang - ace3ff524c19cb5f8aba4052f3e7c9ef5f3cb825 authored almost 6 years ago
split import tests up into unit tests (#517)

This splits up the various import tests, so that each feature can be
tested separately as it is...

github.com/dhall-lang/dhall-lang - 4f3553941053991855437ddb7180ec2789d4b9b4 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...

github.com/dhall-lang/dhall-haskell - 66df01b26c0985363eba0af1edd9d9cd481b7357 authored almost 6 years ago
update test README to match directory name (#516)

The directory was renamed in 7ea70fbf39021c8c01ab85b831fce1aa386482ca

github.com/dhall-lang/dhall-lang - 43490948b89dc8ed1a8d2d4d89edc962f6852248 authored almost 6 years ago
Detail a "code freeze" procedure for new releases (#511)

github.com/dhall-lang/dhall-lang - 8623624632b61e78151f0cbc09453e4b9800ade8 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...

github.com/dhall-lang/dhall-haskell - 4f9defec2516edab4707f85c1bfec7e1eac09f72 authored almost 6 years ago
API v2 (#57)

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 ago
Converted sample code to doctest for `RecordType`, `UnionInputType`, `RecordInputType`

github.com/dhall-lang/dhall-haskell - 962a172b53d9777f333d3c5a31b4464d97e67faf authored almost 6 years ago
Explain the encoding labelling scheme (#503)

* 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 ago
Add line numbers to error messages (#919)

Fixes 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 ago
add missing commas (#513)

github.com/dhall-lang/dhall-lang - 7104c55c93914016d072de307d60a00feb6779f8 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...

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

github.com/dhall-lang/dhall-haskell - d1501b51f920fd78a3539a2f5b8f376b5b903af1 authored almost 6 years ago
Uncomment line from `.cabal` file (#909)

github.com/dhall-lang/dhall-haskell - 684cbac7be0c28ce60dbe089e1f9ae6c95f6f13f authored almost 6 years ago
Fix marshaling new-style union literals (#918)

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

github.com/dhall-lang/dhall-haskell - 07c9c62af33906cc25ef06e0dd137b09bf5cbcc1 authored almost 6 years ago
Clarify which judgment is introduced by each section of the semantics (#509)

github.com/dhall-lang/dhall-lang - 82f26363463fc8eada14357108947a1895bc9e15 authored almost 6 years ago
Use ASCII names for standard files and test directories (#510)

This is to aid people who edit the files from the command line and need to
explicitly type out ...

github.com/dhall-lang/dhall-lang - 7ea70fbf39021c8c01ab85b831fce1aa386482ca authored almost 6 years ago
Correct running instructions in the README. (#151)

github.com/dhall-lang/dhall-to-cabal - 209ce69025a19f47145aaab1b5a2f1a986665056 authored almost 6 years ago
tests: Don't escape strings in CBOR encoding (#504)

Fixes #502.

This fixes environmentVariablesB.dhallb to not escape the special
characters in ...

github.com/dhall-lang/dhall-lang - 4f7c41dac1f79afba3df1d3aa8e181e12298d19f authored almost 6 years ago
Allow Sort as type annotation (#507)

github.com/dhall-lang/dhall-lang - dbb6f20525425525f909d8d85c64268cfb83a9da authored almost 6 years ago
Port to dhall-haskell 1.21.0. (#149)

github.com/dhall-lang/dhall-to-cabal - 8efdf2b53196f0927b8d2d5fbcccc4bfc4100bba authored almost 6 years ago
Explain use case for `dhall-to-nix` (#913)

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

github.com/dhall-lang/dhall-haskell - 44a2750ca0c602b9c088937d938e22ebe32f23ba authored almost 6 years ago
Version 1.21.0 → 1.22.0 (#910)

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

github.com/dhall-lang/dhall-haskell - d3d7baf3e56c8c6f1db77b11a4e06cd183e901cb authored almost 6 years ago
Version 6.0.0 → 7.0.0 (#498)

github.com/dhall-lang/dhall-lang - f0509b403ace4b8a72ebb5fa9c473b9aeabeaf33 authored almost 6 years ago
Update to latest test suite (#903)

This requires implementing the following changes to the standard:

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

github.com/dhall-lang/dhall-haskell - 21da6f2b7fa50d8b2d6dd2eb740edd68a621ccb4 authored almost 6 years ago
Split semantics.md (#501)

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

github.com/dhall-lang/dhall-haskell - 7d31506be4c0418f4d930187066b5acf21f41b9b authored almost 6 years ago
dhall-json: Rephrase error message when decoding a bare `None` (#900)

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

github.com/dhall-lang/dhall-haskell - 86ceb825cde3610d1079c5881147d2eb5866fafb authored almost 6 years ago
Add 'builtin' rule to specify the parsing of builtins (#490)

Also 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 ago
Simplify record typechecking rules (#495)

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

github.com/dhall-lang/dhall-haskell - f462dcc90a3ec42f77b8f45cf9270df4b1b8df9d authored almost 6 years ago
Add a better error message when decoding a bare `None` (#895)

Fixes #492

github.com/dhall-lang/dhall-haskell - 1f40b633d6a27a0e3f14148c3b1f1e582c09e76d authored almost 6 years ago
Simplify text concatenation normalization (#497)

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 ago
Update Dhall version in readme (#60)

github.com/dhall-lang/dhall-kubernetes - 5d11c98b86e5ec364c15a017f94cf303d157b268 authored almost 6 years ago
Update websites (#491)

* Fix e-mail support for `discourse.dhall-lang.org`
* Add Ruby as official integration

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

github.com/dhall-lang/dhall-haskell - fcca883e00daadc377e784973f4121a28af659a0 authored almost 6 years ago
Unescape unquoted URI path components (#489)

And always escape every URI path component before import.

Fixes #456

github.com/dhall-lang/dhall-lang - f4a0a2dd3b55c3191a3ddac941387607699c3dc7 authored almost 6 years ago
Seperate binary encoding of variables vs built-ins (#488)

Fixes #462

Built-ins always reference their built-in value, even when there is a
bound varia...

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

* ...

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

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

github.com/dhall-lang/dhall-haskell - c52ae96a0bd8675bb161a8fa1d59fc7a05c70565 authored almost 6 years ago
Shuffle comment parsing rules to make it easier to patch for ambiguity (#482)

This 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 ago
Add more failures to the triggers of the `?` operator fallback (#481)

As we identified in #480, the standard was underspecified on this

github.com/dhall-lang/dhall-lang - a8dabaede657b2f1b65a39d4b92e36cb7c3db01e authored almost 6 years ago
Add dhall-ruby to website (#892)

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

github.com/dhall-lang/dhall-haskell - d0fb71b0ba9ae13777b107d9f2050a6be9b07a06 authored almost 6 years ago
Test merging sort-level record types. (#486)

This tests for the issue in dhall-lang/dhall-haskell#890. The behavior is
already correct in th...

github.com/dhall-lang/dhall-lang - 214d124d3e6c81ae809fede77b6724f7fe6abcd6 authored almost 6 years ago
Fix TOC (#485)

Forgot to add new section to the TOC before I merged.

github.com/dhall-lang/dhall-lang - 625fd33f66a63a75ba49e887dae6dcc5c118ad7f authored almost 6 years ago
Languages can decide how to marshal Dhall expressions (#474)

Fixes 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 ago
Update hashes for Prelude functions that started using empty alternatives (#480)

github.com/dhall-lang/dhall-lang - cfd93816cd36e6dce17c216774fde2305233ea0b authored almost 6 years ago
fix minor typo (#477)

all the other builtins are in alphabetical order. Also, the comments
were mismatched.

github.com/dhall-lang/dhall-lang - 7c25a52db1dc38a93df85959c96cb7f24740560d authored almost 6 years ago
Clarify when handler needs to be a function (#473)

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

github.com/dhall-lang/dhall-lang - d3cb36d7f6d0b980b2490bf48f4656ad905cf84b authored almost 6 years ago
Add a new complete implementation, dhall-ruby (#479)

github.com/dhall-lang/dhall-lang - 990a752950570770b655322c8038bb516fb41e2f authored almost 6 years ago
Update tests and include dhall-lsp-server in appveyor (#889)

github.com/dhall-lang/dhall-haskell - 0804689da16d659ccca8e87997bcc8209df1ae0f authored almost 6 years ago
Integrate `dhall-nix` into CI (#887)

github.com/dhall-lang/dhall-haskell - f4542d5bc517dd09b92279c4ca19bba42f1995ba authored almost 6 years ago
Allow `merge x y z` (#467)

* 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 ago
Merge pull request #886 from dhall-lang/gabriel/dhall_nix

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

github.com/dhall-lang/dhall-haskell - 505bd9240d763a3a247145f0a9a8dc08846cb89c authored almost 6 years ago
Update largeExpression test to new Union syntax (#471)

There are other tests testing the old syntax, this test serves another
purpose (mostly performa...

github.com/dhall-lang/dhall-lang - 7eb6f5e9ae45c5b3780901bc12fbcc3e5bcae759 authored almost 6 years ago
Merge remote-tracking branch 'dhall-nix/master' into gabriel/dhall_nix

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

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

github.com/dhall-lang/dhall-nix - cbb9805e7336e4394c080d549294eae4bfd28787 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...

github.com/dhall-lang/dhall-haskell - 6c38bd89eae3b67ff6d0b6bdafb172e8974198f1 authored almost 6 years ago
dhall-rust has been forked and is in progress (#468)

github.com/dhall-lang/dhall-lang - af74785a3fd8f7c5ae212af7557ef64b52407a5f authored almost 6 years ago
Remove duplicate test (#460)

this is a duplicate of RecordSelectionNormalizeArguments. Maybe a
single test with a more reve...

github.com/dhall-lang/dhall-lang - 5a0ddc91009247af8ce79100f94abe6fcc05b24c authored almost 6 years ago
improve documentation of tests/parser/failure/boundBuiltins.dhall (#459)

My implementation was failing this test, but the comments above the
`label` rule weren't helpfu...

github.com/dhall-lang/dhall-lang - 5db51c4581ea00b6580e2e8bbccccd3924409168 authored almost 6 years ago
Improve grammar for auto-generated parsers (#455)

* 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 ago
Fix typechecking of Sorts in records (#881)

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

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