summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Cleanup parser codeNadrieril2019-03-203-126/+50
* Restore parser performanceNadrieril2019-03-201-310/+82
* Obsolete old parser macros; performance is now deadNadrieril2019-03-204-204/+278
* Handle simple parsing cases with new macrosNadrieril2019-03-206-114/+131
* Wrap all parsing rules into a common variantNadrieril2019-03-191-83/+153
* Extract the core of parser macros into a separate crateNadrieril2019-03-196-131/+252
* rustfmtNadrieril2019-03-192-15/+21
* Test printer in parser testsNadrieril2019-03-194-21/+74
* Add CI badgesNadrieril2019-03-191-0/+3
* CI tweaksNadrieril2019-03-193-5/+1
* Skip build-only subcrates in code coverageNadrieril2019-03-192-0/+2
* Cache tarpaulin buildNadrieril2019-03-191-3/+1
* Add codecov integrationNadrieril2019-03-191-0/+2
* Fix rust version to useNadrieril2019-03-192-3/+3
* Add coveralls CI integrationNadrieril2019-03-191-7/+2
* Add travis integrationNadrieril2019-03-193-11/+46
* Implement a few more primitivesNadrieril2019-03-184-38/+73
* Split List literal between empty and non-emptyNadrieril2019-03-187-50/+61
* tweaksNadrieril2019-03-181-4/+14
* Split off builtin application normalization for clarityNadrieril2019-03-181-168/+149
* Improve normalization ergonomicsNadrieril2019-03-181-145/+150
* Improve ergonomics of typecheckingNadrieril2019-03-181-354/+248
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-185-491/+188
* Clean up some mess relating to Clone boundsNadrieril2019-03-174-81/+43
* Use Rc consistently everywhereNadrieril2019-03-177-583/+695
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-166-86/+93
* Use Box more uniformly in ASTNadrieril2019-03-166-164/+171
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-166-45/+38
* rustfmtNadrieril2019-03-151-26/+24
* Get rid of box patternsNadrieril2019-03-153-15/+13
* Store a vec in AppNadrieril2019-03-156-174/+175
* Revert "Start rewriting parser with slice patterns"Nadrieril2019-03-152-123/+30
* Start rewriting parser with slice patternsNadrieril2019-03-152-30/+123
* Split different tests features into their own filesNadrieril2019-03-154-238/+241
* Rework test harnessNadrieril2019-03-152-591/+594
* Update spec submodule and add new testsNadrieril2019-03-152-1/+172
* rustfmtNadrieril2019-03-141-5/+16
* Handle and parse interpolated stringsNadrieril2019-03-149-43/+254
* Implement binary decodingNadrieril2019-03-147-14/+270
* Update spec submoduleNadrieril2019-03-131-0/+0
* rustfmtNadrieril2019-03-122-18/+25
* Handle Some and None builtinsNadrieril2019-03-123-39/+60
* Greatly reduce parser stack usageNadrieril2019-03-122-75/+80
* Add some explanatory commentsNadrieril2019-03-112-0/+18
* Make main parser rule atomicNadrieril2019-03-111-1/+1
* Set rustup toolchain to nightlyNadrieril2019-03-112-0/+3
* Fix stack overflows in prelude testsNadrieril2019-03-112-41/+24
* Fix List/fold implementationNadrieril2019-03-112-16/+14
* Update dhall-lang and reactivate prelude testsNadrieril2019-03-113-129/+135
* Normalize lazilyNadrieril2019-03-112-166/+213