summaryrefslogtreecommitdiff
path: root/dhall/build.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-12-17Move pest file generation to dhall/build.rsNadrieril1-2/+96
2019-11-11Parse projection by expressionNadrieril1-22/+1
2019-11-11Test type error messagesNadrieril1-0/+29
2019-11-11Generate import tests automaticallyNadrieril1-0/+42
2019-09-20Update dhall-lang submoduleNadrieril1-1/+7
2019-09-20Update dhall-lang submoduleNadrieril1-39/+13
2019-08-31Don't URL-decode path segmentsNadrieril1-0/+4
2019-08-31Implement parsing of `toMap` keywordNadrieril1-9/+0
2019-08-30Rework test harness to prepare for new types of testsNadrieril1-184/+299
2019-08-16Typecheck before normalizing in testsNadrieril1-1/+4
2019-08-15Use precedence climbing to parse expressions with operatorsNadrieril1-2/+3
2019-08-13Implement inline headers parsingNadrieril1-15/+1
2019-08-12Fix a testNadrieril1-2/+0
2019-08-10Update dhall-lang submoduleNadrieril1-4/+9
2019-08-08Update dhall-lang submoduleNadrieril1-0/+3
2019-08-08Add support for dependent typesNadrieril1-1/+4
2019-08-07Update dhall-lang submoduleNadrieril1-0/+1
2019-08-07Flatten nested let bindingsNadrieril1-0/+3
2019-08-07Normalize field selection further by inspecting the argumentNadrieril1-0/+12
2019-08-07Remove an annoying redundancy in the test harnessNadrieril1-35/+30
2019-08-07Add binary-decode testsNadrieril1-2/+21
2019-08-07Various parsing tweaksNadrieril1-4/+0
2019-08-06Generalize empty list annotationsNadrieril1-0/+2
2019-08-06Add toMap keywordNadrieril1-0/+21
2019-08-06Auto-generate typechecking tests listNadrieril1-3/+33
2019-08-06Change URL parsingNadrieril1-0/+1
2019-08-06Change some testsNadrieril1-15/+13
2019-08-06RFC3986 URLsNadrieril1-2/+18
2019-08-06Add some testsNadrieril1-2/+18
2019-08-06Inline headersNadrieril1-0/+8
2019-08-03Update dhall-lang submoduleNadrieril1-5/+10
2019-05-12Finish implementing binary encodingNadrieril1-2/+3
2019-05-12Split-off printer and binary encoding tests from parser testsNadrieril1-0/+26
2019-05-12Include success or failure prefix in test filteringNadrieril1-10/+10
2019-05-12Implement binary encodingNadrieril1-0/+4
2019-05-09Generate normalization tests automaticallyNadrieril1-25/+79
2019-04-10Simplify test harnessNadrieril1-2/+2
2019-04-08Rename spec testsNadrieril1-2/+2
2019-04-08Move spec tests into the relevant filesNadrieril1-2/+2
2019-04-06rustfmtNadrieril1-1/+3
2019-04-05Update dhall-lang submoduleNadrieril1-0/+1
2019-03-27Manually rustfmt like a naziNadrieril1-2/+10
2019-03-24Parse multiline strings correctlyNadrieril1-15/+21
2019-03-24Generate parser tests list automaticallyNadrieril1-0/+42
2019-03-06Split-off core into its own crateNadrieril1-6/+0
2019-03-02Move part of parser into its own crate to limit recompilation timesNadrieril1-34/+1
2019-03-01Split abnf_to_pest and dhall into their own cratesNadrieril1-0/+39