summaryrefslogtreecommitdiff
path: root/dhall/build.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-04-05Fix import bugNadrieril1-6/+1
2020-04-05Check code hashes in importNadrieril1-4/+0
2020-04-05Add semantic-hash testsNadrieril1-0/+20
2020-03-20Add coverage gathering with grcovNadrieril1-2/+2
2020-03-20Reduce duplication in build.rsNadrieril1-37/+40
2020-03-20Commit output of printerNadrieril1-15/+26
2020-03-20Parse RFC3986 URLsNadrieril1-22/+1
2020-03-17Run clippyNadrieril1-2/+5
2020-03-17Circumvent weird rustfmt inconsistencyNadrieril1-2/+5
2020-03-12Upstream the `with` grammar tweakNadrieril1-13/+0
2020-03-10Upstream all local testsNadrieril1-5/+3
2020-03-10Add support for `with` keywordNadrieril1-1/+14
2020-03-05Implement conservative sanity checkingNadrieril1-2/+0
2020-03-05Cache imports correctlyNadrieril1-3/+0
2020-03-05Implement remote imports and cleanup import chainingNadrieril1-5/+2
2020-03-05Implement remote `as Location` resolutionNadrieril1-5/+10
2020-03-05Implement `as Text` importsNadrieril1-11/+7
2020-03-05Implement `missing` and `env:VAR` importsNadrieril1-11/+2
2020-03-05Add a lot of import testsNadrieril1-1/+15
2020-03-05Implement `as Location` importsNadrieril1-0/+1
2020-03-05Add a bunch of `as Location` unit testsNadrieril1-0/+2
2020-03-05Allow some slow tests to only be run in release modeNadrieril1-25/+36
2020-03-05Implement some normalization simplificationsNadrieril1-9/+2
2020-03-02Enable ProjectionByType testsBasile Henry1-8/+1
2020-02-20Update dhall-lang submoduleNadrieril1-0/+3
2020-02-20Add support for dotted field syntaxNadrieril1-20/+0
2020-02-20Add support for duplicate record fieldsNadrieril1-0/+20
2020-02-15Desugar Completion during resolutionNadrieril1-3/+0
2020-02-09Track error output of parsing and binary decoding testsNadrieril1-2/+2
2020-02-09Remove distinction between failure and error testsNadrieril1-28/+0
2020-02-09Move ui outputs to a sensible placeNadrieril1-8/+8
2020-02-09Massively deduplicate test harnessNadrieril1-19/+44
2020-02-09Track output of import errorsNadrieril1-0/+16
2020-02-06Implement some record simplificationsNadrieril1-11/+6
2020-02-05Normalize toMapNadrieril1-4/+0
2020-02-05Typecheck record completionNadrieril1-13/+0
2020-02-05Typecheck projection by typeNadrieril1-10/+0
2020-02-04Implement typechecking of toMapNadrieril1-25/+0
2020-02-02Add local test files on top of dhall-lang testsNadrieril1-46/+56
2020-01-30Move parser files to syntax/Nadrieril1-2/+2
2020-01-29Fix more bugsNadrieril1-0/+4
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril1-7/+0
2020-01-24Postpone fixing Foo/build builtinsNadrieril1-0/+7
2019-12-27Update dhall-lang submoduleNadrieril1-13/+0
2019-12-24Ensure normalization respects var names on the noseNadrieril1-0/+1
2019-12-24Note waiting for release of abnfNadrieril1-1/+1
2019-12-24Extend merge to work on OptionalsNadrieril1-3/+13
2019-12-23Update dhall-lang submoduleNadrieril1-0/+8
2019-12-23Update dhall-lang submoduleNadrieril1-1/+7
2019-12-22Update dhall-lang submoduleNadrieril1-0/+13