summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2020-04-10Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril3-5/+11
2020-04-09Move Label escaping out of its Display implNadrieril3-21/+35
2020-04-09Remove potentially problematic change detection in build.rsNadrieril1-6/+1
2020-04-09Release dhall version 0.5.1Nadrieril2-2/+2
2020-04-09Force a version of pest_generator that uses quote 1.0Nadrieril1-1/+1
2020-04-07ClippyNadrieril1-3/+3
2020-04-07Split operations module into submodulesNadrieril4-397/+414
2020-04-07Implement remaining record simplificationNadrieril2-12/+22
2020-04-07Swap diff order in tests for UI filesNadrieril1-1/+1
2020-04-07Move duplicate field checking to parserNadrieril23-402/+131
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril11-179/+180
2020-04-06Move builtins module up a levelNadrieril5-7/+6
2020-04-06Extract operation-related code to a new moduleNadrieril12-881/+898
2020-04-06Only need to store OpKind in NirNadrieril2-82/+77
2020-04-06Fix normalization bugNadrieril1-49/+49
2020-04-06oopsNadrieril1-1/+1
2020-04-06Avoid a few allocationsNadrieril2-16/+20
2020-04-06Factor our operations in normalizationNadrieril2-300/+257
2020-04-06Factor out operations in typecheckNadrieril2-417/+438
2020-04-06Split off operations from main expr enumNadrieril11-353/+424
2020-04-05Fix import bugNadrieril2-15/+12
2020-04-05Check code hashes in importNadrieril6-18/+55
2020-04-05Add semantic-hash testsNadrieril3-1/+32
2020-04-05Release dhall version 0.5.0Nadrieril2-2/+2
2020-04-05Release abnf_to_pest version 0.5.0Nadrieril1-1/+1
2020-04-05Setup cargo-releaseNadrieril1-1/+2
2020-04-05Fix clippy warningsNadrieril3-9/+9
2020-03-31Reorganize API and internals of serde_dhall a bitNadrieril1-1/+1
2020-03-31Ensure version numbers are kept in syncNadrieril2-0/+5
2020-03-31Introduce option builderNadrieril4-6/+15
2020-03-31Move Value, SimpleValue and SimpleType to serdeNadrieril3-230/+4
2020-03-31Brutally make all of dhall pubNadrieril28-124/+125
2020-03-31Revert "Start overengineering SimpleVal/Ty"Nadrieril1-120/+31
2020-03-31Start overengineering SimpleVal/TyNadrieril1-31/+120
2020-03-31Nir::normalize isn't usefulNadrieril4-90/+3
2020-03-31Improve handling of builtin types in NirNadrieril5-86/+66
2020-03-31Move conversion to SimpleVal/Ty to simple moduleNadrieril3-84/+84
2020-03-31Use dhall::Value more in serdeNadrieril1-1/+1
2020-03-31Remove top-level Expr aliasesNadrieril8-45/+32
2020-03-31Rename LitKind to NumKindNadrieril11-101/+101
2020-03-31Limit dependency on NormalizedNadrieril2-84/+42
2020-03-31Remove Normalized and friends from public APINadrieril3-31/+20
2020-03-31Add new Value type in APINadrieril2-6/+62
2020-03-31Add SimpleType to mirror SimpleValueNadrieril3-3/+103
2020-03-31Add SimpleValue type to facilitate deserializationNadrieril3-2/+71
2020-03-31Fix indexing for spans that go to the end of the inputNadrieril1-5/+7
2020-03-31Upgrade annotate-snippets versionNadrieril114-124/+116
2020-03-20Add coverage gathering with grcovNadrieril2-9/+19
2020-03-20Reduce duplication in build.rsNadrieril1-37/+40
2020-03-20Remove more unnecessary parens in printerNadrieril20-27/+52