summaryrefslogtreecommitdiff
path: root/dhall/build.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* 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
* Normalize field selection further by inspecting the argumentNadrieril2019-08-071-0/+12
* Remove an annoying redundancy in the test harnessNadrieril2019-08-071-35/+30
* Add binary-decode testsNadrieril2019-08-071-2/+21
* Various parsing tweaksNadrieril2019-08-071-4/+0
* Generalize empty list annotationsNadrieril2019-08-061-0/+2
* Add toMap keywordNadrieril2019-08-061-0/+21
* Auto-generate typechecking tests listNadrieril2019-08-061-3/+33
* Change URL parsingNadrieril2019-08-061-0/+1
* Change some testsNadrieril2019-08-061-15/+13
* RFC3986 URLsNadrieril2019-08-061-2/+18
* Add some testsNadrieril2019-08-061-2/+18
* Inline headersNadrieril2019-08-061-0/+8
* Update dhall-lang submoduleNadrieril2019-08-031-5/+10
* Finish implementing binary encodingNadrieril2019-05-121-2/+3
* Split-off printer and binary encoding tests from parser testsNadrieril2019-05-121-0/+26
* Include success or failure prefix in test filteringNadrieril2019-05-121-10/+10
* Implement binary encodingNadrieril2019-05-121-0/+4
* Generate normalization tests automaticallyNadrieril2019-05-091-25/+79