summaryrefslogtreecommitdiff
path: root/dhall/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix import bugNadrieril2020-04-051-9/+11
* Check code hashes in importNadrieril2020-04-054-14/+47
* Add semantic-hash testsNadrieril2020-04-051-1/+11
* Release dhall version 0.5.0Nadrieril2020-04-051-1/+1
* Fix clippy warningsNadrieril2020-04-053-9/+9
* Reorganize API and internals of serde_dhall a bitNadrieril2020-03-311-1/+1
* Introduce option builderNadrieril2020-03-313-5/+14
* Move Value, SimpleValue and SimpleType to serdeNadrieril2020-03-313-230/+4
* Brutally make all of dhall pubNadrieril2020-03-3127-120/+120
* Revert "Start overengineering SimpleVal/Ty"Nadrieril2020-03-311-120/+31
* Start overengineering SimpleVal/TyNadrieril2020-03-311-31/+120