summaryrefslogtreecommitdiff
path: root/dhall/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make reqwest an optional dependencyBasile Henry2020-10-101-1/+5
* Release dhall version 0.7.0Nadrieril2020-09-151-1/+1
* spec: Enable `with` optimizationsNadrieril2020-09-149-26/+69
* Release dhall version 0.6.0Nadrieril2020-08-051-1/+1
* spec: allow trailing delimitersNadrieril2020-06-251-6/+7
* spec!: remove Optional/build and Optional/foldNadrieril2020-06-252-47/+3
* spec: remove Unicode character from `dhall.abnf`Nadrieril2020-06-251-1/+1
* spec!: remove the ability to quote paths in URLsNadrieril2020-06-253-14/+8
* spec: ensure `keyword` rule only matches keywordsNadrieril2020-06-251-2/+4
* spec: not all ABNF parsers like empty rulesNadrieril2020-06-253-44/+21
* spec: allow quoted labels to be emptyNadrieril2020-06-252-2/+4
* spec: allow unions with mixed kindsNadrieril2020-06-251-15/+5
* spec: fix precedence of `===` and `with`Nadrieril2020-06-254-11/+23
* test: use errors instead of panics to signify test failureNadrieril2020-06-241-0/+11
* refactor: remove old test harnessNadrieril2020-06-242-362/+0
* test: write custom test harness for testsNadrieril2020-06-241-1/+1
* fix: panic on remote import on wasmNadrieril2020-06-241-4/+2
* fix(ci): grammar sync test fails spuriously on ciNadrieril2020-06-201-0/+1
* Release dhall version 0.5.3Nadrieril2020-05-301-1/+1
* Commit grammar file locallyNadrieril2020-05-302-0/+965
* Use dhall.abnf directly instead of via symlinkNadrieril2020-05-301-1/+0
* Refactor cache path resolutionNadrieril2020-05-301-62/+21
* Fix cache path resolution on wasmNadrieril2020-05-301-0/+7
* Make reqwest build on wasmNadrieril2020-05-302-5/+15
* test: Add remaining tests for cachefteychene2020-05-151-0/+398
* fixup! test: Add some unit tests for cachefteychene2020-05-151-30/+55
* fixup! test: Add some unit tests for cachefteychene2020-05-151-56/+32
* fixup! fixup! Release serde_dhall version 0.5.2fteychene2020-05-151-31/+55
* test: Add some unit tests for cachefteychene2020-05-151-12/+121
* fixup! Release serde_dhall version 0.5.2fteychene2020-05-153-55/+68
* feat: Add cache resolution on resolvefteychene2020-05-155-31/+211
* Release dhall version 0.5.2Nadrieril2020-04-121-1/+1
* Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril2020-04-103-5/+11
* Move Label escaping out of its Display implNadrieril2020-04-091-21/+33
* Release dhall version 0.5.1Nadrieril2020-04-091-1/+1
* ClippyNadrieril2020-04-071-3/+3
* Split operations module into submodulesNadrieril2020-04-074-397/+414
* Implement remaining record simplificationNadrieril2020-04-071-9/+22
* Swap diff order in tests for UI filesNadrieril2020-04-071-1/+1
* Move duplicate field checking to parserNadrieril2020-04-079-361/+90
* Move BinOp and Builtin definitions in the relevant moduleNadrieril2020-04-0611-179/+180
* Move builtins module up a levelNadrieril2020-04-065-7/+6
* Extract operation-related code to a new moduleNadrieril2020-04-0612-881/+898
* Only need to store OpKind in NirNadrieril2020-04-062-82/+77
* Fix normalization bugNadrieril2020-04-061-49/+49
* oopsNadrieril2020-04-061-1/+1
* Avoid a few allocationsNadrieril2020-04-062-16/+20
* Factor our operations in normalizationNadrieril2020-04-062-300/+257
* Factor out operations in typecheckNadrieril2020-04-062-417/+438
* Split off operations from main expr enumNadrieril2020-04-0611-353/+424