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

Add `List/index`

b8909addf43e04d735f23c5ddbe83744cca278a2 authored over 8 years ago

Use `{:}` for empty record types and `{=}` for empty record literals

73c817ec94fa30e633333cb62fbf449992cad903 authored over 8 years ago

Add `List/length`

d15ed8ef5e54d74e28c42c0fd1ff23f0da7bedb7 authored over 8 years ago

Add `List/last`

1741db3702c6ee1f79dabff5b73cb81f66f6588f authored over 8 years ago

Add `List/first`

a0a2c54671dbc90b1d4ef2cfc4657d578a5ead1a authored over 8 years ago

Fix pretty-printing for function arguments

a34dee9356f6b5f499eccacbc3ea7d602552e5ad authored over 8 years ago

Tighten record pretty-printing

39cee75f699f64bd366b8a8627bd3e293590abfd authored over 8 years ago

Use {1} to denote empty record type

This eliminates the need for double braces

b068384098c69314bb1005b4fd221bb154f152b9 authored over 8 years ago

Add `List/indexed`

09fe4bf1cd02a36adba4288d8293015d71c483b0 authored over 8 years ago

Add `Maybe/fold`

59a0c68e1ebbc37cda73e7a5c77b041750bba6e2 authored over 8 years ago

Reintroduce support for `Maybe`

... but this time using a syntax similar to `List` literals

2e0689a7aaef8812ed32adf7ab7cd789895897d3 authored over 8 years ago

Change list literal syntax

Move the type annotation outside the list

This is to prepare for an equivalent syntax for `Mayb...

c5b781e03eb3c184a1914810e3b0c82c2aa32a5f authored over 8 years ago

Change `[ a ]` to `List a`

6580a4cbf1d51cb2dab03503d8e68c102b7dcb22 authored over 8 years ago

Update documentation

7ea7603594e365914d3d85c632cde1b54c026c3c authored over 8 years ago

Fix normalization of `if` expressions

e2b247b705438a421163b745309c9187e1e1e374 authored over 8 years ago

Rename `Star`/`Box` to `Kind`/`Type`

abbcdb8b55f36cc6211cd657d9f0224bec92e693 authored over 8 years ago

Polish source

d0e29c66f9fcfdc9d119605eda8ba5d1899f7eab authored over 8 years ago

Disable dependent types

7ee927e9ad5b17962bc6d62289ca339f71831ae3 authored over 8 years ago

Use `parseUrlThrow` instead of `parseUrl`

78d2975d48f2a1b95394fd6b97ef2c73ed8c20fd authored over 8 years ago

Remove support for `Maybe`

f2030edbabae056bdc881d164ba771d873fa438a authored over 8 years ago

Fix pretty printer to exactly match parser

16da255e9852c6a7e73ade930ab3ac68c099656e authored over 8 years ago

Update documentation

77c45103b398234aed310f0e78e82dedd327c7ff authored over 8 years ago

Change parser to allow chained type annotations

9e8c86e93f9524ad5bef6146c3a9237ceb2d4e3c authored over 8 years ago

Fix remaining ambiguous parses

df373c64086bd6f79cd15d9a9cf7cff160fce905 authored over 8 years ago

Fix several ambiguous parses

66fc7ed6c295d51be14cb0a4cb58858fe3dab3b7 authored over 8 years ago

Fix some ambiguous parses

d6a06d481f97aee7f4ffbe07e09e98ae37bc545a authored over 8 years ago

Add built-in support for list concatenation

170387cf3a1c2845fee240b163c1d56b918e7923 authored over 8 years ago

Fix support for parsing empty lists

a8d8fa51f8016366d9914de39749dca94950358e authored over 8 years ago

Update documentation

a4c2b5bca7c7c94233dd18d9ebe44bcd89cc2d11 authored over 8 years ago

Update documentation

5cc537824b0f8baa268183b594d8ab8395c25e00 authored over 8 years ago

Update documentation

d0a77b1ff737d9a2f714eb75e12137579f8b2f26 authored over 8 years ago

Remove unused dependencies

86e76fc7c375c2ad12e336bf51440d20f72db141 authored over 8 years ago

Remove some parsing ambiguities

a87086c27282baa1345c792566dbdba9d4a26a6b authored over 8 years ago

Polish error messages

98078e9b4ac3708589c88bdd1ca2517ffcdaea16 authored over 8 years ago

Improve parsing error messages

44d3c0a9ab4ffe2cd76aa9ace5e933089054b828 authored over 8 years ago

Switch to `happy` for parsing and simplify the `alex` lexer

d3998b09a26cd3e85998c5102b2672cc382454bf authored over 8 years ago

Update tutorial

f6990dd1aff2ffca559501c6679b4567f03b75a2 authored over 8 years ago

Polish error messages

b8fd34c8947d4d126edced5f32842089511c218d authored over 8 years ago

Polish error messages

4b9a82fe9b1ab0d8738ffe2a14d1f5b8ceb9d225 authored over 8 years ago

Polish error messages

a350969c8c56d36b1789b7e2ac46808cf59d426c authored over 8 years ago

Update documentation

055179820aa74ab08ff8f04c7d6f41aabcd5625f authored over 8 years ago

Improve error messages for arithmetic

25e3128726f6a8021d9fd3748731c38f744336c1 authored over 8 years ago

Improve error message for `(++)`

6cf96b4b214b246f7f54126aad7e149e3d84efc1 authored over 8 years ago

Improve error message for `(||)`

1f012f96cdbbe51c58991be8a7e4d04aa6a25ec5 authored over 8 years ago

Improve error message for `(&&)`

2ab0741db38debf4c8c7fec57dfc10ee50a63c87 authored over 8 years ago

Improve error message for missing fields

dc21e59c2a4fc8758d9b9fe5eb535b7d20c27dc2 authored over 8 years ago

Update documentation

4658791b97c1cd9e73dbe6e9eccfd35242de9610 authored over 8 years ago

Fix lexing of `Double`s

e83cbc6c99d0cfdf66da1f5a730b902299dfcc0a authored over 8 years ago

Improve error messages for record access

461bf92fc558d63ae35e6eb43ecff0b47429b6bf authored over 8 years ago

Improve error message for key types

05a01bc02b4ffe4ea9f6e4d34ba1f47f7e8114db authored over 8 years ago

Improve element type errors

f7205d0753aecc3152862adbb0943b040b32097a authored over 8 years ago

Improve error message for list element type

743c2c262347939053970e5a9b0e73d8746ace3a authored over 8 years ago

Improve error message for mismatched `if` branches

70c8c0ad1e2b929021c2201d33e97275e6a0f6c1 authored over 8 years ago

Improve error message for `if` predicate

ab2fba3e25aea12337d92d30ae04d913e59975c3 authored over 8 years ago

Improve error messages for list type parameters

de62c6d6dbe7c2a4416fc429413387c4b6403e5f authored over 8 years ago

Improve error messages for `Maybe` type parameters

dea601b1ea1eb6342b9a2edefffe61463eb94e38 authored over 8 years ago

Improve error message for untyped values

5c369f3e080be1151fa8c573a25e839c3dd85fb9 authored over 8 years ago

Improve error messages for type mismatch

0d527e84f6f6b7a4279478128b0a45f610e83ae3 authored over 8 years ago

Add `neatinterpolation` dependency

8674487cf11f9d06d46b772ca2e18374b382fad2 authored over 8 years ago

Improve error message for invalid functions

aca573abe78db106964fcb2a3f0114b08e095710 authored over 8 years ago

Improve error messages for invalid output types

bd946183e4fc6cc623d8938a4ed8924b3c0da1af authored over 8 years ago

Improve error messages for invalid input types

c6d84ca6c90fe2fc19b00954f668e0a131489551 authored over 8 years ago

Improve error message for unbound variables

b8b00e4bcddb431985269fb3e7b09cc0248b4348 authored over 8 years ago

Improve parsing of type annotations

The main motivation of this change is to disambiguate this expression:

[ x : t ]

Before th...

bb640f5626431c970aeacef81a25147559a68ad0 authored over 8 years ago

Update documentation

d03a900583a8482293f56bb32fc20066edc4ee24 authored over 8 years ago

Upgrade `if` to `if`/`then`/`else` construct

c794a2200d35b810ed1de5b480939e5f42c05490 authored over 8 years ago

Update documentation

b313facaa29b4b83909abd77d9214a2c747f36d9 authored over 8 years ago

Remove normalized expressions from type-checker error messages

25b6031d287e39260b130beed7b93484ada3a0d5 authored over 8 years ago

Add support for decoding into records using GHC generics

Also began the tutorial

3a2faaa4fbc33034d77451d8dca74ed738e5e09c authored over 8 years ago

Use double braces for record types

This is necessary to distinguish the empty record type, `{{ }}`, and the empty
record literal, `...

ca212b8eb0689b78fa3466c6e197277ca0d2b007 authored over 8 years ago

Switch to a newer `stack` resolver

36c6a28da63e7915f8cf5edbacc7d604a67e7960 authored over 8 years ago

Add parser for type annotations

cc0c1f756fb0fb6c60069b31537720a32ba0bbb1 authored over 8 years ago

Add support for `Maybe`

c5967955f97368ef8b32517bde91a00f3ac234c5 authored over 8 years ago

Update documentation

c268c84080e66b3763ad83879ccf2739e141ad0c authored over 8 years ago

Fix parsing of list type

10224095c875a78a887f569e79db9641c5ea130c authored over 8 years ago

Add `if`

0972822b43459630f7e5fbb6d4c1d2006c68ca98 authored over 8 years ago

Add `(&&)` and `(||)`

586789f75e952518d5ec0d3c0de6f61e0291b27a authored over 8 years ago

Add `True` and `False`

94b66b4fa2501f709cfbdf8ec5aeacfe0081ef6f authored over 8 years ago

Add `Bool` type

b74bd78f17db45e07798b653f458868fd9156112 authored over 8 years ago

Add `pair2`/`pair3` and `auto`

857f0089319e173d6bfeec66653350d3348968a9 authored over 8 years ago

Initial commit

9a6ee13cd071e09c7b0421649fd105acbf8a9ea8 authored over 8 years ago