summaryrefslogtreecommitdiff
path: root/dhall/build.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* spec: remove Unicode character from `dhall.abnf`Nadrieril2020-06-251-1/+0
|
* spec: fix precedence of `===` and `with`Nadrieril2020-06-251-1/+1
|
* refactor: remove old test harnessNadrieril2020-06-241-343/+1
|
* fix: assuage clippy on ciNadrieril2020-06-201-3/+3
|
* Commit grammar file locallyNadrieril2020-05-301-1/+1
| | | | | The crate publishing process does not allow access to files outside the current crate.
* Use dhall.abnf directly instead of via symlinkNadrieril2020-05-301-2/+2
| | | | Because windows doesn't support symlinks properly
* feat: Add cache resolution on resolvefteychene2020-05-151-2/+0
|
* Remove potentially problematic change detection in build.rsNadrieril2020-04-091-6/+1
|
* Implement remaining record simplificationNadrieril2020-04-071-3/+0
|
* Fix import bugNadrieril2020-04-051-6/+1
|
* Check code hashes in importNadrieril2020-04-051-4/+0
|
* Add semantic-hash testsNadrieril2020-04-051-0/+20
|
* Add coverage gathering with grcovNadrieril2020-03-201-2/+2
|
* Reduce duplication in build.rsNadrieril2020-03-201-37/+40
|
* Commit output of printerNadrieril2020-03-201-15/+26
|
* Parse RFC3986 URLsNadrieril2020-03-201-22/+1
|
* 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
| | | | See https://github.com/dhall-lang/dhall-lang/pull/933
* 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
|