summaryrefslogtreecommitdiff
path: root/dhall/build.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Run clippyNadrieril2020-03-171-2/+5
* Circumvent weird rustfmt inconsistencyNadrieril2020-03-171-2/+5
* Upstream the `with` grammar tweakNadrieril2020-03-121-13/+0
* Upstream all local testsNadrieril2020-03-101-5/+3
* Add support for `with` keywordNadrieril2020-03-101-1/+14
* Implement conservative sanity checkingNadrieril2020-03-051-2/+0
* Cache imports correctlyNadrieril2020-03-051-3/+0
* Implement remote imports and cleanup import chainingNadrieril2020-03-051-5/+2
* Implement remote `as Location` resolutionNadrieril2020-03-051-5/+10
* Implement `as Text` importsNadrieril2020-03-051-11/+7
* Implement `missing` and `env:VAR` importsNadrieril2020-03-051-11/+2
* Add a lot of import testsNadrieril2020-03-051-1/+15
* Implement `as Location` importsNadrieril2020-03-051-0/+1
* Add a bunch of `as Location` unit testsNadrieril2020-03-051-0/+2
* Allow some slow tests to only be run in release modeNadrieril2020-03-051-25/+36
* Implement some normalization simplificationsNadrieril2020-03-051-9/+2
* Enable ProjectionByType testsBasile Henry2020-03-021-8/+1
* Update dhall-lang submoduleNadrieril2020-02-201-0/+3
* Add support for dotted field syntaxNadrieril2020-02-201-20/+0
* Add support for duplicate record fieldsNadrieril2020-02-201-0/+20
* Desugar Completion during resolutionNadrieril2020-02-151-3/+0
* Track error output of parsing and binary decoding testsNadrieril2020-02-091-2/+2
* Remove distinction between failure and error testsNadrieril2020-02-091-28/+0
* Move ui outputs to a sensible placeNadrieril2020-02-091-8/+8
* Massively deduplicate test harnessNadrieril2020-02-091-19/+44
* Track output of import errorsNadrieril2020-02-091-0/+16
* Implement some record simplificationsNadrieril2020-02-061-11/+6
* Normalize toMapNadrieril2020-02-051-4/+0
* Typecheck record completionNadrieril2020-02-051-13/+0
* Typecheck projection by typeNadrieril2020-02-051-10/+0
* Implement typechecking of toMapNadrieril2020-02-041-25/+0
* Add local test files on top of dhall-lang testsNadrieril2020-02-021-46/+56
* Move parser files to syntax/Nadrieril2020-01-301-2/+2
* Fix more bugsNadrieril2020-01-291-0/+4
* Thread env through nztion to fix Foo/build closuresNadrieril2020-01-281-7/+0
* Postpone fixing Foo/build builtinsNadrieril2020-01-241-0/+7
* Update dhall-lang submoduleNadrieril2019-12-271-13/+0
* Ensure normalization respects var names on the noseNadrieril2019-12-241-0/+1
* Note waiting for release of abnfNadrieril2019-12-241-1/+1
* Extend merge to work on OptionalsNadrieril2019-12-241-3/+13
* Update dhall-lang submoduleNadrieril2019-12-231-0/+8
* Update dhall-lang submoduleNadrieril2019-12-231-1/+7
* Update dhall-lang submoduleNadrieril2019-12-221-0/+13
* Update abnf dependency in the hopes of fixing a bugNadrieril2019-12-221-6/+4
* Implement parsing for record completionNadrieril2019-12-221-0/+16
* Update dhall-lang submoduleNadrieril2019-12-221-6/+1
* Update dhall-lang submoduleNadrieril2019-12-221-0/+3
* Put test builders in a vecNadrieril2019-12-221-79/+33
* Generate parser manually to make the crate publishableNadrieril2019-12-211-2/+26
* Move pest file generation to dhall/build.rsNadrieril2019-12-171-2/+96