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

write a tutorial about Church encoding of recursive types (#1364)

9f00d633d4c5fa40f64de469f9e90075e4dd0f20 authored 10 months ago by Sergei Winitzki <[email protected]>

Fix comment formatting according to dhall-docs warnings (#1374)

351f3b3a326fdeaa1d499fd1825a2e5ac23e75a5 authored 10 months ago by Michał Kukieła <[email protected]>

Document more builtins (#1372)

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

15423a14691aa5819a0150fec6a676b6712d109e authored about 1 year ago by Gabriella Gonzalez <[email protected]>

fix import test according to #1366 (#1367)

Co-authored-by: sergei.winitzki <[email protected]>

4471e55a832826adcbd133578341fb826f2fb716 authored about 1 year ago by Sergei Winitzki <[email protected]>

Issues #1356, #1357, #1361 and miscellaneous typo fixes in documentation (#1362)

b82e9fb6b826c972664d8e33cf65bf923e229f37 authored about 1 year ago by Sergei Winitzki <[email protected]>

Allow Natural and Integer literals in binary notation (#1355)

* Allow Natural and Integer literals in binary notation

* Add parser for binary natural liter...

c6f32657e9d1f9a50b0fb1dfca7dabdd4039f841 authored about 1 year ago by Michał Kukieła <[email protected]>

Gabriel439 -> Gabriella439 (#1352)

b27d2c89bc03f80a30b3e79810cee6c113ee3ca2 authored about 1 year ago by Michał Kukieła <[email protected]>

Add missing +'s in hexadecimal Integer literals (#1354)

978c99eed51f0a1146a69cdf7d215409accb0308 authored about 1 year ago by Michał Kukieła <[email protected]>

Fix: remove double minus sign (#1350)

3ea1c1e1e55a305ce8047a00ed79f86069197011 authored over 1 year ago by Michał Kukieła <[email protected]>

Add Prelude/Function/composeList.dhall (#1348)

7a1dd930502ae1a67f9e6a7756da812cc72545f2 authored over 1 year ago by lrworth <[email protected]>

Fix duplicated elements in the built-in types reference. (#1349)

The list type and description was present two times.

The timezone section was listed under `T...

f42d5552b6d20095df8e6e639658edfc24d16c8b authored over 1 year ago by Clément Delafargue <[email protected]>

Update Dhall-in-production.md (#1344)

Daily Kos hasn't been a dhall user for a while.

e13ab1ba62ff5bd3e107fbc52c45ba4f0c9c096e authored over 1 year ago by Casey Ransom <[email protected]>

docs(tour): add guide for nested unions (#1341)

4ad3d5720908e73ceda60542bd8688fc96361367 authored over 1 year ago by scarf <[email protected]>

Update docs to link to maintained version of awesome-dhall (#1337)

f7702edd2f42069dfd699e34e9ae29302ec6a9c7 authored over 1 year ago by Isaac Van Doren <[email protected]>

Fix `prelude.dhall-lang.org` (#1335)

Right now the URL is broken due to the Prelude being missing from
`store.dhall-lang.org`

a50401ac3e79ad4d44ac152c241c52a7793243cf authored over 1 year ago by Gabriella Gonzalez <[email protected]>

Version 22.0.0 → 23.0.0 (#1333)

25cf020ab307cb2d66826b0d1ddac8bc89241e27 authored over 1 year ago by Gabriella Gonzalez <[email protected]>

Add test for changing type of field inside `Optional` (#1332)

The Haskell implementation of Dhall had a bug where it permitted
this update, leading to an inv...

d7907f235cd173b8e99fb950d5826821a3f4d79a authored over 1 year ago by Gabriella Gonzalez <[email protected]>

Update builtins documentation (#1331)

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

86a6ae6ae31dd1ba7fc040a2b62a5ca805929fcf authored over 1 year ago by Gabriella Gonzalez <[email protected]>

Standardize support for `{Date,Time,TimeZone}/show` (#1328)

3820270620736d126900d73446210395efc3aa5b authored almost 2 years ago by Gabriella Gonzalez <[email protected]>

Prelude: Add List/mapMaybe and Map/mapMaybe (#1330)

fd057db9b3f89de44cdc77d9669e958b04ed416a authored almost 2 years ago by JackKelly-Bellroy <[email protected]>

Add List/mapWithIndex (#1326)

1536ab697d8e3a7b5490be7fae7ba5cbb1edbedc authored almost 2 years ago by lrworth <[email protected]>

Standardize builtin Bytes type (#1323)

Currently only base-16 encoded literals are supported.
Functions to do something meaningful wit...

fbfdbb794bfa6d1eca38d2cad66ac27ffcf187cd authored almost 2 years ago by Mann mit Hut <[email protected]>

Renamed Directory.dhall and File.dhall (#1322)

* Renamed Directory.dhall and File.dhall

Those file names led to conflicts on case-insensitive ...

21a7ce2bf98813eb1f36f70fbe714370376b42c5 authored almost 2 years ago by Mann mit Hut <[email protected]>

Add Bellroy to Dhall In Production page (#1320)

Bellroy uses Dhall heavily.

d605c7abd2f358d32854dde4189f1f47661e2d1c authored almost 2 years ago by lrworth <[email protected]>

Added docs for external header definition for url imports (#1317)

910807866d85803345f4b65a8cb8bc8add24c9fa authored almost 2 years ago by christianknoepfle <[email protected]>

Add `dhall to-directory-tree` related definitions (#1306)

da6066cc2b62ff7e2009eb48f1faa5341fa18b2e authored almost 2 years ago by Mann mit Hut <[email protected]>

Add `Prelude-22.0.0` to store.dhall-lang.org (#1315)

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

c590974134855c0983e4f9f365c81ef4f628c611 authored almost 2 years ago by Gabriella Gonzalez <[email protected]>

Fix `None`-related test (#1288)

… by saturating the `None` with its type argument

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

f8596d682188000e35b1cb1c0afcc9c70cb10bc6 authored about 2 years ago by Gabriella Gonzalez <[email protected]>

Fix logrotate configuration (#1304)

This fixes breakage introduced by #1300 with respect to log
rotation.

The `services.logrotat...

d2a302167d3cd95a9dcae00420e50a232d3f9c6c authored over 2 years ago by Gabriella Gonzalez <[email protected]>

Remove top-level hydra authorization (#1303)

This was breaking Hydra's support for updating GitHub statuses

The correct setting is `github...

b133b7f9b29e404fd2b9a8b5a1f06a9cd4807b28 authored over 2 years ago by Gabriella Gonzalez <[email protected]>

Re-enable self-deploy (#1301)

In #1300 I accidentally disabled `self-deploy`. This
change re-renables it.

01fe83c8e7026006498b5bd6a3f824d5118152f3 authored over 2 years ago by Gabriella Gonzalez <[email protected]>

Hydra fixes related to recent Nixpkgs upgrade (#1302)

In #1300 I upgraded Nixpkgs, but I didn't realize that it
broke Hydra, so this includes fixes t...

3105dff7d05dafc7d0c7cdc40bc0f582cf46822c authored over 2 years ago by Gabriella Gonzalez <[email protected]>

dhall-lang.org: Fix continuous deployment (#1300)

... to fix the issue reported in:

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

b5cf4dd1bdac0c572bb80f121af465b03bd7cd44 authored over 2 years ago by Gabriella Gonzalez <[email protected]>

Menu scrolling on screens with low height. (#1296)

`min-width: 992px` is where bootstrap hides the dropdown menu.
`100vh - 85px` found by experime...

f28d6f45017a019a47c48ba1697a6cc3f7c33a67 authored over 2 years ago by Michał Kukieła <[email protected]>

Update Getting-started_Generate-JSON-or-YAML.md (#1298)

When going through the getting started steps for Linux, I used the command for extraction:

``...

31d7c21b576d2d0cd478440c7a2fdb80f6b74dd5 authored over 2 years ago by Mitchell Paulus <[email protected]>

Remove reference to wiki in link description (#1295)

325543dd4548714fc113e8db03e56d7f96b99dcf authored over 2 years ago by Michał Kukieła <[email protected]>

Remove Unicode char `±` from ABNF (#1289)

This was a regression for issue #1003 introduced by the comments
included in #1191

5bf0a3cf158862a4d4b33e8c17fadd2bc708709b authored over 2 years ago by ScribblyBirb <[email protected]>

Fix links in integrations documentation (#1283)

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

4bedfcfd409ca9914b435ab366e47b64b9a9ddf4 authored over 2 years ago by Gabriella Gonzalez <[email protected]>

docs/discussions/Safety guarantees: Fix TOCTOU (#1279)

There was a time-of-check vs. time-of-use bug in the documented workflow: in principle, the expr...

00e67bfb7f6dd04f9c0727329211d1f8a14e6c46 authored almost 3 years ago by nicoo <[email protected]>

Spelling fixes (#1278)

1c7db5f7d80de721cc6327b00f41e3ec76ed4156 authored almost 3 years ago by Josh Soref <[email protected]>

Include schema in the Access-Control-Allow-Origin header value (#1272)

ada49d49326546f8a1b30f78834e37c634d35350 authored almost 3 years ago by Harald Gliebe <[email protected]>

Fix IPv6 support for Linode (#1277)

The root cause behind the recent IPv6-related issues was due to this
requirement from Linode's ...

45039cf376c0394b64d62df8fb5b9644ca808b71 authored almost 3 years ago by Gabriella Gonzalez <[email protected]>

Version 21.1.0 → 22.0.0 (#1258)

ccfc35ef0b1fbaec5fdde3ce7f972a57f0a61b78 authored almost 3 years ago by Gabriella Gonzalez <[email protected]>

Disable IPv6 for `nginx`'s DNS resolution (#1270)

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

80db37b268edb661b4100bf2c2c31cc716ed509f authored almost 3 years ago by Gabriella Gonzalez <[email protected]>

Correct type for header configuration (#1262)

609653f9669e1cabc88b6838d18f093b5d91ee42 authored almost 3 years ago by Harald Gliebe <[email protected]>

Fix header forwarding test (#1263)

Partial fix for #1260

The `nginx` configuration for `test.dhall-lang.org` wasn't correctly
c...

8ca9eda38aae3de1cd9d3cd6eff72768127f2996 authored almost 3 years ago by Gabriella Gonzalez <[email protected]>

add CORS response header also for GET requests (#1265)

a4d4661ecfc5a23862c97bdfe002b6d5e4846052 authored almost 3 years ago by Harald Gliebe <[email protected]>

Fix typo in Design-choices.md (#1261)

bb0e62bbaf76496ddbeecc18dc4792c2922fb858 authored almost 3 years ago by Hans Höglund <[email protected]>

Add `showConstructor` to convert union value constructor to `Text` (#1257)

8a9be2394c51118307531494601474d1bbd55969 authored almost 3 years ago by David Richey <[email protected]>

Add `with` support for modifying `Optional` values (#1254)

1c3eed13cffa6819c1546cb4bde240517bcb81c9 authored almost 3 years ago by David Richey <[email protected]>

Some small typos in binary encoding spec (#1259)

abee4f27760aa1dcbef99bb6e599da85eb17fcfe authored almost 3 years ago by Harald Gliebe <[email protected]>

Add test for `Some` label in `with` expression (#1253)

35c115c392a9101096d20ec289d12394d1b4b5d9 authored about 3 years ago by David Richey <[email protected]>

Require whitespace after let-binding (#1252)

c9ed56f612f6bd3a21ae77c62d19ee849c6f539a authored about 3 years ago by Harald Gliebe <[email protected]>

betaNormalize after Text/replace to concat text and replacements (#1246)

502856d9d09b555044e140a87ab34e120a1869d4 authored about 3 years ago by Harald Gliebe <[email protected]>

use correct variable (#1247)

ffba2616af46e366cae7b2bf75037577ef2f53a1 authored about 3 years ago by Harald Gliebe <[email protected]>

shift y as in the deduction rule (#1248)

fda762a6db0889d74957b667496bd3cb777f55df authored about 3 years ago by Harald Gliebe <[email protected]>

Add `Prelude.List.filterMap` (#1245)

ecbbdc7f76b9a7c0f367bd878b7687333abbeeb8 authored about 3 years ago by Daiki Mizukami <[email protected]>

correct args in betanormalization of Natural/build (#1244)

First arg should be type Natural, then succ and zero.
In dhall-haskell this is done here:
http...

e8db26803317d34876e1fd317c53476e184e84d8 authored about 3 years ago by Harald Gliebe <[email protected]>

Fix empty lines inside the definition of rules (#1251)

From my reading of ABNF's syntax: https://datatracker.ietf.org/doc/html/rfc5234#section-4
Some w...

2f3c8bef744e20a4212dd7e6dd97cd983a372b23 authored about 3 years ago by Basile Henry <[email protected]>

Add test for importing relative to the home directory (#1250)

6cf0882c856f12341500cb07edeb07c3f1c8bab9 authored about 3 years ago by Basile Henry <[email protected]>

Add additional SSH key for system administration (#1249)

94856f1e6547bca4bff22839c4e28ede06d4e9ee authored about 3 years ago by Gabriella Gonzalez <[email protected]>

Build each version of Kuberenetes API (#1243)

Related to #1242

16c6655cf0ac0ac48714d74d8e994066bb0baaf9 authored about 3 years ago by Gabriella Gonzalez <[email protected]>

Fix CHANGELOG for v21.1.0 (#1241)

The "Other changes" header was in the wrong place

17762d51776068b1e08db692da3bc4973748f586 authored about 3 years ago by Gabriella Gonzalez <[email protected]>

Fix prelude.dhall-lang.org (#1237)

I accidentally bumped the Prelude version in #1236 before the package
was available

febf76bafa0742dbaf32a878ca130354e57c62a3 authored about 3 years ago by Gabriella Gonzalez <[email protected]>

add dhall-k8s v6.0 (#1238)

2e5ecfa35a9347fa02a3e1de9a18eed22721b9ef authored about 3 years ago by Jichao Ouyang <[email protected]>

Version 21.0.0 → 21.1.0 (#1236)

149cc55e7170db15e2196a82a56ea05e935b80f5 authored about 3 years ago by Gabriella Gonzalez <[email protected]>

Fix parent imports when resolving `headers.dhall` (#1233)

The motivation for this change is the discussion here:

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

4b3e1b4f3c3332db166ff7869338c71e8f0294f2 authored about 3 years ago by Gabriella Gonzalez <[email protected]>

update my ssh key (#1234)

it has changed, I now use yubikey-agent

457ae7e11ed0cc28fd0493e0248bd276d200ec26 authored about 3 years ago by Philip Potter <[email protected]>

Upgrade discourse again (#1235)

This is to pull in 010309d1084d5ac54d9f62eefa7ef100721fd1c8 which is a
security fix. There was...

e710bc9633ccd99ccf7121164987ecd9ddfe0233 authored about 3 years ago by Philip Potter <[email protected]>

Upgrade Discourse (#1232)

This fixes the issue reported in:

https://discourse.dhall-lang.org/t/cant-login-via-github/533

926cf18acac62099c38aedea203e8f2327a94a35 authored about 3 years ago by Gabriella Gonzalez <[email protected]>

Allow all annotations to take full expressions (#1230)

Instead of just application expressions, since some annotations
were allowed to take full expre...

61f291e866fa18feace6b0fb7b5c972c305aa5b6 authored about 3 years ago by Nick Scheel <[email protected]>

Support trailing line comment without a newline (#1226)

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

1907a1d1a6dff9ff8638547f7bc49d6b5135bcdf authored over 3 years ago by Gabriella Gonzalez <[email protected]>

rename userHeaders -> originHeaders and add additional test case (#1229)

472a679df0e4de0702956d03dd1975501fb2b4a3 authored over 3 years ago by Tim Cuthbertson <[email protected]>

Update Dhall (#1228)

The main motivation for this change is so that Mac users can run
`./scripts/{generate-test-file...

a768a0b4b45743e1952a2b4aa13b4bccdc4b8629 authored over 3 years ago by Gabriella Gonzalez <[email protected]>

prelude: add xml rawText (#1225)

ace846dde4323338da496f2a9a04abe5584314e0 authored over 3 years ago by Julio <[email protected]>

Fix yaml link (#1227)

def4314c721ac789e18f76e112668c90e010b6bf authored over 3 years ago by Trevor Thompson <[email protected]>

Add Text/shell-escape function to Prelude (#1218)

e64e9aaa28a2910d7c1ce47f6ee94d92b2770f52 authored over 3 years ago by Mann mit Hut <[email protected]>

imports: allow local imports for DHALL_HEADERS expression (#1206)

75ce4424d0d237bdff2117d5b5b208b74f24bcd2 authored over 3 years ago by Tim Cuthbertson <[email protected]>

Fix logic for inferring type of a constructor (#1208)

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

d44994c18f48d350bb79f7aa397f5908a069ae9e authored over 3 years ago by Gabriella Gonzalez <[email protected]>

Upgrade `dhall-haskell` to 1.40.1 (#1214)

… to pick up the fix to `DateTime` support (in case somebody
tries it out on dhall-lang.org)

a49f8622bb95e7ac975be195c59b84ded4b0080c authored over 3 years ago by Gabriella Gonzalez <[email protected]>

Add "how to" guide on validations (#1212)

9c3e35e2801176074f39eb53339d6c5d67e2108a authored over 3 years ago by Gabriella Gonzalez <[email protected]>

Update `dhall-haskell` reference (#1209)

4d1d6fe711a956bb493a8f6ff8664dceb9d36c51 authored over 3 years ago by Gabriella Gonzalez <[email protected]>

Fix broken links in TOCs (#1210)

GitHub decided that the link needs double hyphens, probably because of the slashes.

d4d0e9f702dd5df0f84baa8755853d693b46f6db authored over 3 years ago by Nick Scheel <[email protected]>

Remove unused `date-time` & `full-time` abnf rules (#1193)

df4b191acdc59c3f8f0d497100728353f2ab9e51 authored over 3 years ago by SiriusStarr <[email protected]>

Add Prelude v21.0.0 package to store (#1203)

d44882ef5148590bd660cd8d90b0347a48c0825b authored over 3 years ago by SiriusStarr <[email protected]>

Remove mention that `dhall-to-json` could produce valid TOML documents (#1200)

Co-authored-by: Gabriella Gonzalez <[email protected]>

de3e9a780ea594ce89b4175914477f1deb6f557d authored over 3 years ago by silverraven691 <[email protected]>

Version 20.2.0 → 21.0.0 (#1194)

9bff2e8c611120bfe77df2ed021d89df5358b2fa authored over 3 years ago by Gabriella Gonzalez <[email protected]>

Standardise origin-based header configuration (#1192)

481b26dae3b11a01df7ca054155fd69e8373be4b authored over 3 years ago by Tim Cuthbertson <[email protected]>

Standardize support for dates / times / time zones (#1191)

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

8d22f9f563ffd94a60d23938f4b2c9cc972c2395 authored over 3 years ago by Gabriel Gonzalez <[email protected]>

Test changes for dhall-purescript (#1190)

* Use .dhall suffix for remoteSystems normalization test

To match the non-alpha-normalized re...

acc5466ded882677714852ab110f64ca4a9db3c0 authored over 3 years ago by Nick Scheel <[email protected]>

store.dhall-lang.org: Copy full URL to clipboard (#1189)

This entails upgrading Nixpkgs to pick up the latest
`buildDhallPackage`, which in turn entails...

e953bb3ba003c9567afbcacf680c976536550617 authored over 3 years ago by Gabriel Gonzalez <[email protected]>

Fix Prelude test files to use `.dhall` suffix (#1186)

204a9d9dd167d2c9038539148a09825ded62f1b8 authored over 3 years ago by Gabriel Gonzalez <[email protected]>

Upgrade Haskell implementation (#1187)

9758483fcf20baf270dda5eceb10535d0c0aa5a8 authored over 3 years ago by Gabriel Gonzalez <[email protected]>

Add parser failure test for whitespace before with (#1184)

0344def6f991027be223280b6e8ae7460ecd7c3f authored over 3 years ago by Travis Brown <[email protected]>

Change `?` to only fall back on absent imports (#1181)

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

This changes the behavior of the `...

8e11efde7c57c36259ebf4c01c50753025c51812 authored over 3 years ago by Gabriel Gonzalez <[email protected]>

Add Prelude support for NonEmpty lists (#1177)

2eda6e2d0bd6c5bfeb243df1a80a09b2505caae4 authored over 3 years ago by Gabriel Gonzalez <[email protected]>

Fix prelude.dhall-lang.org (#1178)

Currently the site 404s because we don't have a package for
v20.2.0 of the Prelude

debac675d53cef0387c99392fd899b95d3c51277 authored over 3 years ago by Gabriel Gonzalez <[email protected]>

Version 20.1.0 → 20.2.0 (#1175)

deefb8667871af9ea10b42dbd86a49aa27b6ecff authored over 3 years ago by Gabriel Gonzalez <[email protected]>

Escape XML using &…; (#1174)

Escape special markup characters using the method described here:
https://www.w3.org/TR/REC-xml...

5e14eea4a33539bb80eb8fb415ae09d26d4163fc authored over 3 years ago by ehmry <[email protected]>

Add support for extra Unix shebangs (#1163)

This change enables using nix-shell multiline shebangs in dhall files.

2547fe7dc81a29800c2b013625c5d8146f24d130 authored over 3 years ago by Tristan de Cacqueray <[email protected]>