summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Update dhall-lang submoduleNadrieril2019-03-233-6/+5
|
* Handle double overflows in parserNadrieril2019-03-232-6/+11
|
* Parse unicode escapes in stringNadrieril2019-03-234-38/+48
|
* Handle quoted labelsNadrieril2019-03-225-10/+23
|
* oopsNadrieril2019-03-221-7/+7
|
* Parse a lot more of the import typesNadrieril2019-03-227-61/+238
|
* Improve binary decoding errorsNadrieril2019-03-221-14/+25
|
* Improve import handling in parserNadrieril2019-03-2110-17/+80
|
* rustfmtNadrieril2019-03-211-11/+3
|
* Follow the spec for handling DoublesNadrieril2019-03-216-10/+51
|
* oopsNadrieril2019-03-214-0/+497
|
* Represent Optional literals more faithfullyNadrieril2019-03-216-74/+61
|
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-215-17/+17
|
* Reorganize dhall_core a bitNadrieril2019-03-218-1098/+558
|
* Disable Codecov commentNadrieril2019-03-201-0/+1
|
* Parser macro tweaksNadrieril2019-03-201-6/+6
|
* Merge pull request #34 from Nadrieril/rewrite-parser-macrosNadrieril Feneanar2019-03-2011-641/+616
|\ | | | | Rewrite parser macros
| * Cleanup parserNadrieril2019-03-201-91/+64
| |
| * Reimplement shortcuttingNadrieril2019-03-201-5/+13
| |
| * Make parser implementation non-recursiveNadrieril2019-03-202-119/+129
| |
| * Allow patterns in parser macrosNadrieril2019-03-201-31/+21
| |
| * Change syntax of parser macrosNadrieril2019-03-201-148/+148
| |
| * Remove binop special case in parser; cleanupNadrieril2019-03-201-50/+66
| |
| * 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
| | | | Closes #30
* 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
| | | | Closes #29
* Use Box more uniformly in ASTNadrieril2019-03-166-164/+171
| | | | Closes #28