summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
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 bugNadrieril1-9/+11
2020-04-05Check code hashes in importNadrieril4-14/+47
2020-04-05Add semantic-hash testsNadrieril1-1/+11
2020-04-05Release dhall version 0.5.0Nadrieril1-1/+1
2020-04-05Fix clippy warningsNadrieril3-9/+9
2020-03-31Reorganize API and internals of serde_dhall a bitNadrieril1-1/+1
2020-03-31Introduce option builderNadrieril3-5/+14
2020-03-31Move Value, SimpleValue and SimpleType to serdeNadrieril3-230/+4
2020-03-31Brutally make all of dhall pubNadrieril27-120/+120
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 versionNadrieril2-12/+4
2020-03-20Add coverage gathering with grcovNadrieril1-7/+17
2020-03-20Remove more unnecessary parens in printerNadrieril3-10/+35
2020-03-20Commit output of printerNadrieril1-23/+23
2020-03-20Parse RFC3986 URLsNadrieril2-2/+22
2020-03-18Update to latest pest_consume to remove spurious clippy warningNadrieril1-1/+0
2020-03-18Cut releaseNadrieril1-1/+1
2020-03-17Remove never_type featureNadrieril4-19/+19
2020-03-17Run clippyNadrieril16-126/+172
2020-03-11Implement record punsNadrieril4-1/+9
2020-03-10Add support for `with` keywordNadrieril3-1/+44
2020-03-05Implement conservative sanity checkingNadrieril3-56/+77
2020-03-05Cache imports correctlyNadrieril3-21/+21
2020-03-05Implement remote imports and cleanup import chainingNadrieril9-117/+185
2020-03-05Implement remote `as Location` resolutionNadrieril2-2/+13
2020-03-05Implement `as Text` importsNadrieril2-4/+22
2020-03-05Refactor resolve a bitNadrieril1-80/+76
2020-03-05Implement `missing` and `env:VAR` importsNadrieril3-8/+20
2020-03-05Add a lot of import testsNadrieril1-1/+1