summaryrefslogtreecommitdiff
path: root/dhall/build.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Parse projection by expressionNadrieril2019-11-111-22/+1
|
* Test type error messagesNadrieril2019-11-111-0/+29
|
* Generate import tests automaticallyNadrieril2019-11-111-0/+42
|
* Update dhall-lang submoduleNadrieril2019-09-201-1/+7
|
* Update dhall-lang submoduleNadrieril2019-09-201-39/+13
|
* Don't URL-decode path segmentsNadrieril2019-08-311-0/+4
|
* Implement parsing of `toMap` keywordNadrieril2019-08-311-9/+0
|
* Rework test harness to prepare for new types of testsNadrieril2019-08-301-184/+299
|
* Typecheck before normalizing in testsNadrieril2019-08-161-1/+4
|
* Use precedence climbing to parse expressions with operatorsNadrieril2019-08-151-2/+3
| | | | This speeds up parsing around 30%
* Implement inline headers parsingNadrieril2019-08-131-15/+1
|
* Fix a testNadrieril2019-08-121-2/+0
|
* Update dhall-lang submoduleNadrieril2019-08-101-4/+9
|
* Update dhall-lang submoduleNadrieril2019-08-081-0/+3
|
* Add support for dependent typesNadrieril2019-08-081-1/+4
|
* Update dhall-lang submoduleNadrieril2019-08-071-0/+1
|
* Flatten nested let bindingsNadrieril2019-08-071-0/+3
|