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

Add version bounds to dependencies

e23885f3153b7e9f3e7902a0e9978e23328bba3b authored about 8 years ago

Rename `apply` to `merge`

0e36b29641ea762714e6401ebf29b93d5d5fff8e authored about 8 years ago

Use `(stdin)` and `(input)` in Trifecta error messages

... instead of `(interactive)`

e3850beed6ef4d2c3068b918088438bbe7a3ef26 authored about 8 years ago

Attach URL information to Trifecta error messages

10d67551ea2b47f655a2d06c37005f4e80b12036 authored about 8 years ago

Move all URL import logic into `exprFromURL`

c6c8ed918e806936fcc58cd214a18d0a29a53764 authored about 8 years ago

Factor out all file import logic into `exprFromFile`

96c42c5b14ee2415af2205874d478a4cbc00c75d authored about 8 years ago

Move `exprFromFile` to `Dhall.Import`

cb4dc023ab7646b40ca5b7d5df00d8959bbb20eb authored about 8 years ago

Change parsing errors to display file name when parsing files

4873a40980ea014910b6ed7ffad27a87febb6b84 authored over 8 years ago

Narrow identifiers to only permit ASCII letters and numbers

832d369faddcd1ce78ec087e67f8e07e08a2b528 authored over 8 years ago

Improve accuracy of source location for `App`

50d58426cc2fb44fbfe7bd5909b1c4133030451b authored over 8 years ago

Polish error messages

7135d8dc667816fc053721506769abd04e5bd3dd authored over 8 years ago

Revert "Improve efficiency of `Context` implementation"

The old implementation produces better error messages because it preserves the
original order in...

24598e6f608f49a490e4b555964a8ec8df51f8b9 authored over 8 years ago

Output short error message by default

acce67fca7633ee9e1bcaaad11c5c985af2d2956 authored over 8 years ago

Strip surrounding whitespace from code fragment

496173d8c97bb31d988637cbd45abc008a3e4a00 authored over 8 years ago

Remove unnecessary newline from error messages

4325c340fa85f58166677a74fef13112f367df6d authored over 8 years ago

Add more source annotations to source tree

5d452450f7fd0bb0b3d28a2a55b518ec1bff4a68 authored over 8 years ago

Add basic source/position information to error message output

c55ba34f5f57b66c40bf7cee89ac35ce34ca3c23 authored over 8 years ago

Remove old parser implementation

9b7aa9dad3c0f1b1b6fe82ed3049c052e9c45f14 authored over 8 years ago

Fix last known issues in parser

2b7e0f3c268cc2f3eac94f5130fd4e4827ed100f authored over 8 years ago

Fix missing parser for `Bool`

20c56b0cb10e3e86d67452c9a6ed5b136a26ad1d authored over 8 years ago

Fix parsing for field accessors

1c53d7872fdb0660d87bf97c7ce786c6da6c6037 authored over 8 years ago

Left-factor `Var` parser to improve error messages

432f446ded64beb727bc2f769984de24c3a095d2 authored over 8 years ago

Left-factor `exprE` to improve error messages

23340e64d97a4c9572106eab2ca5e6b0b6d15e20 authored over 8 years ago

Left factor parsing for `exprB` to improve error messages

f2209efb8cfc4a892058dfea2bd5a039caf49f3c authored over 8 years ago

Initial switch to new `trifecta`-based parser

Still several bugs to work out

13eddef662c676f33742ebdc059b74d53b09e12b authored over 8 years ago

Use numbers for parsing alternatives

0534b79ca53918f179435e45b4f3572036a7630a authored over 8 years ago

First draft of `trifecta` parser

`trifecta` makes it *much* easier to get the corresponding source of parsed
values

deedb216bbaf3d2059885f7c88a563e2c8b8b45c authored over 8 years ago

Add `Note` constructor

2909f8871ba3f214f775fea814c8851d2d17a98c authored over 8 years ago

Add support for merging records using `(∧)`

fa6619d89299a8f02dbc0c2af0afbee959a2dd74 authored over 8 years ago

Rename "tags" to "alternatives"

c4d598d19cae02f0717251a53741b3b23aa42af7 authored over 8 years ago

Add `Natural/build`

f813dbc503ece638856d6fd5637da62dd311a1a9 authored over 8 years ago

Update documentation

80f75107a32d3a6623f1771675bdd628f9a505e1 authored over 8 years ago

Allow '/' character in variable names

This improves error messages when the user mistypes built-in operations, like
`List/buold`. Bef...

45e793cb429eea2e060fb1ea7e56f85ca3eff237 authored over 8 years ago

Polish source

60756ca9534aa6d194ab0ee2cc86a3fdfe7c2598 authored over 8 years ago

Update to newer Stackage resolver

427ef73846e2ac7413c8ff112c1fc5745dfa705f authored over 8 years ago

Enable warnings for `Dhall.TypeCheck` module

71cf0b3ce3d620f94943ac38bb56b39976709e0c authored over 8 years ago

Change `normalize` to use exhaustive pattern matching

This caught a bug where `UnionLit` expressions were not being properly
normalized.

35eea34edb1bc54e106f9977f5836e3f3f28bf28 authored over 8 years ago

Polish source

4ef1e04c42abaca61b4c6450a833b0c02ae7472f authored over 8 years ago

Make `subst` use an exhaustive pattern match

52c1f5abef41f204dafec32be1913fc7a2ffad32 authored over 8 years ago

Make `shift` pattern match exhaustive

1e53e3da2c91f5982cd91e48880ea2b9c5791773 authored over 8 years ago

Update documentation

bc7735d5c260843e4d1eea93f86f23fa7537d1a3 authored over 8 years ago

Update documentation

43bcda1a47f4017c0364600cdf1d37ea1e3b6b8f authored over 8 years ago

Move the `X` type to the `Dhall.TypeCheck` module

... since it's not used in the `Dhall.Core` module at all

323cbdf28974e4b08bc814e79efb3b7263735f2e authored over 8 years ago

Improve efficiency of `Context` implementation

The old list-based implementation was tuned for Morte and more efficient for
type-checking typic...

3d9661817fc6f10af27a0dc26bdad150f2754c34 authored over 8 years ago

Remove unnecessary `Context` export from `Dhall.Core`

e4abd4fdfc72faaf547a54dc51e6c6d275f9b9f4 authored over 8 years ago

Move type-checking logic to separate `Dhall.TypeCheck` module

The error messages alone warranted separating this out into a separate module

51a86a1ec8e564d3bbd66cd18c90dc98808f62d6 authored over 8 years ago

Fix error message

2da9f35f19dd4252888a99dc9e3ea00d687f8be4 authored over 8 years ago

Remove support for function arguments to `let` bindings

In other words, instead of writing:

let f (x : Natural) = x + 1
in ...

... you must n...

d6ecb421e4972bc74fcff4794f54323e6ab060dd authored over 8 years ago

Add pattern matching in the form of the `apply` command

Example usage:

let handlers = { Left = Natural/even, Right = \(x : Bool) -> x }
in ...

ecdc6c832ed2a9f17d4f925156c8b11727a07d0d authored over 8 years ago

Remove `absurd`

8b94bf41894b0b2ade08c855b5b73664bf4a2ed0 authored over 8 years ago

Update documentation

dc3b0fcf66e92c704ac68e3ee5b2fdb4300a1060 authored over 8 years ago

Use `:` in syntax for union types

ac49ae5fcc26cfd0ad360947cd9fcd6551d88757 authored over 8 years ago

Revert "Permit field access for unions with one element"

This reverts commit 98ef584a67f80ba7d1fdfa67a3446f2b96653228.

48144b5b920f34570b10807e7e6eeeeeca29d4a2 authored over 8 years ago

Add support for decoding sum types into Haskell

79ed8f300ee8a578f5822eab83a1ac147cbb5faa authored over 8 years ago

Remove `List/concat`

This can be implemented in terms of `List/build` and `List/fold`, and those
permit build/fold fu...

e3b54792d16437ac8ea2948a461f515df4c39ab2 authored over 8 years ago

Add `build/fold` fusion

6f35500d8e60fec3b4d3ee5f7be9b3ca277b4223 authored over 8 years ago

Fix `shift` error for `if` statements

4187b92a7b4341c1b9175d5395c5e992649574b1 authored over 8 years ago

Go back to `|` as the separator for union types and literals

This is easier on the eyes when writing out sums of products, like:

< Just = { foo = 1, bar...

7b2a418269c17686632dd4e3d3dbcad8c8567e76 authored over 8 years ago

Add union literals

Also, replace the `|` with `,` for union types and literals

a371529a6e94ac5242526894564ff584f21c4aa8 authored over 8 years ago

Permit field access for unions with one element

Note that I haven't even implemented union literals, so this can't even be used,
yet!

This lets...

98ef584a67f80ba7d1fdfa67a3446f2b96653228 authored over 8 years ago

Update documentation

ebe96b3cac46e07f4b65c86cf967d7cfb0bded18 authored over 8 years ago

Use `(++)` to concatenate `Text` instead of `(<>)`

This ensures that `<>` unambiguously refers to the empty sum type

9505637891ff63cb4f96dd848195e865b8ea6e08 authored over 8 years ago

Remove `(++)`

There are two main reasons that I'm removing `(++)`:

* I would like to use `(++)` instead of `(...

1602f891f1d31ed2d2529ab750e7621f6b585a25 authored over 8 years ago

Remove `Text/concat`

The original motivation for adding `Text/concat` was to work around the
quadratic time complexit...

7ea9c2a97268b815e997496e2d7b7aac3bb5281a authored over 8 years ago

Use `Builder` internally for representing `Text`

This is more efficient since the only thing we ever do is concatenate text,
which `Builder` is o...

91a933ba9ab7057c9746e5434463cea548675926 authored over 8 years ago

Add `absurd`

a49bad9a5819c8e4932a0a99548299c0f4a7eebb authored over 8 years ago

Add union types

Just the types for now. No union literals or pattern matching, yet

718fdeb171fc1cbb721d9e0daf2adaf279563d77 authored over 8 years ago

Polish code

89ea6b038cc9990a9ab6806919a6fdf6b4836c67 authored over 8 years ago

Change `{}`/`{:}` to `{=}`/`{}`, respectively

727ffb86e197d5682a55907abbd5cbae71260506 authored over 8 years ago

Revert "Add syntax for pattern types and literals (i.e. sum types)"

This reverts commit 954e8619b68be470f9995440d563ac90adbc6331.

03cc365e7bb82a12e8fcc1e38eec85be7979b204 authored over 8 years ago

Add syntax for pattern types and literals (i.e. sum types)

954e8619b68be470f9995440d563ac90adbc6331 authored over 8 years ago

Remove `List/splitAt` and `List/splitAtEnd`

f34b07be49e96cb5cb59df302ee199b54730801e authored over 8 years ago

Improved error messages for lexer

158429b988f77a83e82800abc73bcfdac4fec569 authored over 8 years ago

Update documentation

c199d04956b074f20f9861c64ba010eab077e4be authored over 8 years ago

Add back `Buildable` instance for `Const`

afa38446995531410b83a34be2cbb68d13fb001c authored over 8 years ago

Update documentation

d36eabb0af8adf6827611f8459b4bec8f6fa4a44 authored over 8 years ago

Update documentation

80b9b25d24bac5732abfcdeba701522c5a785218 authored over 8 years ago

Add `Natural/even` and `Natural/odd`

3e9d2304982ee992442ef14054cb7ca79e968867 authored over 8 years ago

Add `Text/concat`

e597a97e78c6d1733deab930a2d95b74171db14e authored over 8 years ago

Add `List/concat`

6e74794a7662f36cbde6a1ed8bcc1e70dfac2d9d authored over 8 years ago

Rename `ListConcat` constructor to `ListAppend`

1260b92fdcd0f2bc1c939e3eb0312ecc63ef50c8 authored over 8 years ago

Rename fields generated by `List/indexed`

eb4e482380dfd9cb64211be5e4b90db80d8b18dd authored over 8 years ago

Rename `List/first` to `List/head`

324a29be12b7b6e9cfd72048a7d60d77d9e2c22b authored over 8 years ago

Replace `drop`/`dropEnd` with `splitAt`/`splitAtEnd`

11a06ab540b1b4ff13fe611e7eb1313fc762a2f1 authored over 8 years ago

Fix pretty-printing of `(==)` and `(/=)` to match parser

1332f6cfb0192afc4ed7e913420c41886bf36349 authored over 8 years ago

Add `(==)` and `(/=)`

16c72f5a768b7e1e000ab8bc55c1bf0bd706da3a authored over 8 years ago

Add support for decoding `Maybe`s

076678f1de18d7531a0a5bd272cfb35cf663feec authored over 8 years ago

Re-export `Text`

d39cf8876e1cdf53dd0887fabb1c1fb2f10def21 authored over 8 years ago

Update documentation

429dbd266b0df2e3cd003642c606aac351dfdf63 authored over 8 years ago

Reintroduce indexed variables

The simpler approach still permitted variable capture. For example, this would
break:

\x -...

acd77292efc782d5ba8a12a2a6d2f42149729deb authored over 8 years ago

Polish documentation

0da0968147287dda4c995b00e01e37da57b31e64 authored over 8 years ago

Reintroduce Unicode support

d0a4134e25aa10bec4d7df2529cfab14d2eccda8 authored over 8 years ago

Use `{}` for empty record literals

f5a7e50d0730879f166282907566b29ca9ffc9eb authored over 8 years ago

Add type annotations for `let` results

6ea1b4ae5aca8f7d14dab06fd624f2fc5e79ac82 authored over 8 years ago

Reuse `buildLet` in `Buildable` instance for `Let`

47eb966f8ed9350d6c19bd7764d1aef7e9f1209b authored over 8 years ago

Space out record syntax

d2ec1c1cc2c3db1ca52e04df19f01fc379b62a03 authored over 8 years ago

Add `List/dropEnd`

c3bbe324b304fb1900bbd5c0875a376da924c88c authored over 8 years ago

Add `List/reverse`

b777f4252c5408549c8cb29d233944abfb3b6982 authored over 8 years ago

Replace `List/index` with `List/drop`

You can implement `List/index` equally efficiently in terms of `List/drop` and
`List/first`

35e03c5a0219425cdc857bfe54b26550abb0087b authored over 8 years ago

Add `Natural/isZero`

c09a58611720d1e221f868ef561eb410a6cc1931 authored over 8 years ago