summaryrefslogtreecommitdiff
path: root/dhall/build.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-06Implement some record simplificationsNadrieril1-11/+6
2020-02-05Normalize toMapNadrieril1-4/+0
2020-02-05Typecheck record completionNadrieril1-13/+0
2020-02-05Typecheck projection by typeNadrieril1-10/+0
2020-02-04Implement typechecking of toMapNadrieril1-25/+0
2020-02-02Add local test files on top of dhall-lang testsNadrieril1-46/+56
2020-01-30Move parser files to syntax/Nadrieril1-2/+2
2020-01-29Fix more bugsNadrieril1-0/+4
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril1-7/+0
2020-01-24Postpone fixing Foo/build builtinsNadrieril1-0/+7
2019-12-27Update dhall-lang submoduleNadrieril1-13/+0
2019-12-24Ensure normalization respects var names on the noseNadrieril1-0/+1
2019-12-24Note waiting for release of abnfNadrieril1-1/+1
2019-12-24Extend merge to work on OptionalsNadrieril1-3/+13
2019-12-23Update dhall-lang submoduleNadrieril1-0/+8
2019-12-23Update dhall-lang submoduleNadrieril1-1/+7
2019-12-22Update dhall-lang submoduleNadrieril1-0/+13
2019-12-22Update abnf dependency in the hopes of fixing a bugNadrieril1-6/+4
2019-12-22Implement parsing for record completionNadrieril1-0/+16
2019-12-22Update dhall-lang submoduleNadrieril1-6/+1
2019-12-22Update dhall-lang submoduleNadrieril1-0/+3
2019-12-22Put test builders in a vecNadrieril1-79/+33
2019-12-21Generate parser manually to make the crate publishableNadrieril1-2/+26
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