summaryrefslogtreecommitdiff
path: root/dhall/build.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* 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
| | | | Closes #39
* Generate normalization tests automaticallyNadrieril2019-05-091-25/+79
|
* Simplify test harnessNadrieril2019-04-101-2/+2
|
* Rename spec testsNadrieril2019-04-081-2/+2
|
* Move spec tests into the relevant filesNadrieril2019-04-081-2/+2
|
* rustfmtNadrieril2019-04-061-1/+3
|
* Update dhall-lang submoduleNadrieril2019-04-051-0/+1
|
* Manually rustfmt like a naziNadrieril2019-03-271-2/+10
|
* Parse multiline strings correctlyNadrieril2019-03-241-15/+21
| | | | Closes #24
* Generate parser tests list automaticallyNadrieril2019-03-241-0/+42
|
* Split-off core into its own crateNadrieril2019-03-061-6/+0
|
* Move part of parser into its own crate to limit recompilation timesNadrieril2019-03-021-34/+1
|
* Split abnf_to_pest and dhall into their own cratesNadrieril2019-03-011-0/+39