summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
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
2020-03-20Commit output of printerNadrieril242-38/+289
2020-03-20Parse RFC3986 URLsNadrieril5-28/+27
2020-03-18Update to latest pest_consume to remove spurious clippy warningNadrieril1-1/+0
2020-03-18Cut releaseNadrieril2-2/+2
2020-03-17Remove never_type featureNadrieril4-19/+19
2020-03-17Upgrade some dependenciesNadrieril1-3/+3
2020-03-17Run clippyNadrieril17-128/+177
2020-03-17Circumvent weird rustfmt inconsistencyNadrieril1-2/+5
2020-03-12Upstream the `with` grammar tweakNadrieril3-15/+2
2020-03-11Implement record punsNadrieril6-2/+16
2020-03-10Upstream all local testsNadrieril148-201/+3
2020-03-10Add support for `with` keywordNadrieril8-4/+68
2020-03-05Forgot to commit test outputNadrieril1-0/+1
2020-03-05Implement conservative sanity checkingNadrieril4-58/+77
2020-03-05Cache imports correctlyNadrieril5-25/+22
2020-03-05Implement remote imports and cleanup import chainingNadrieril13-122/+193
2020-03-05Implement remote `as Location` resolutionNadrieril24-12/+52
2020-03-05Implement `as Text` importsNadrieril7-16/+33
2020-03-05Refactor resolve a bitNadrieril1-80/+76
2020-03-05Implement `missing` and `env:VAR` importsNadrieril6-19/+24
2020-03-05Add a lot of import testsNadrieril53-2/+96
2020-03-05Run tests from repo root as specified in specNadrieril11-11/+17
2020-03-05Implement `as Location` importsNadrieril5-60/+104
2020-03-05Run tests from dhall dirNadrieril10-10/+10
2020-03-05Add a bunch of `as Location` unit testsNadrieril35-0/+50
2020-03-05Update dhall-lang submoduleNadrieril3-3/+15
2020-03-05Add a bunch of testsNadrieril49-0/+70
2020-03-05Allow some slow tests to only be run in release modeNadrieril1-25/+36
2020-03-05Implement some normalization simplificationsNadrieril3-86/+83
2020-03-02Normalization for ProjectionByExprBasile Henry2-4/+35
2020-03-02Enable ProjectionByType testsBasile Henry1-8/+1
2020-02-21Cut releaseNadrieril2-2/+2
2020-02-21OopsNadrieril1-0/+6