summaryrefslogtreecommitdiff
path: root/dhall/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* Nir::normalize isn't usefulNadrieril2020-03-314-90/+3
* Improve handling of builtin types in NirNadrieril2020-03-315-86/+66
* Move conversion to SimpleVal/Ty to simple moduleNadrieril2020-03-313-84/+84
* Use dhall::Value more in serdeNadrieril2020-03-311-1/+1
* Remove top-level Expr aliasesNadrieril2020-03-318-45/+32
* Rename LitKind to NumKindNadrieril2020-03-3111-101/+101
* Limit dependency on NormalizedNadrieril2020-03-312-84/+42