Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Update dhall-lange submodule | Nadrieril | 2019-03-26 | 1 | -0/+0 | |
| | ||||||
* | Update dhall-lang submodule | Nadrieril | 2019-03-26 | 2 | -5/+5 | |
| | ||||||
* | Lay groundwork for DhallType deriving | Nadrieril | 2019-03-24 | 7 | -2/+53 | |
| | ||||||
* | Correctly namespace interpolations in dhall_expr!() | Nadrieril | 2019-03-24 | 3 | -22/+19 | |
| | ||||||
* | Prepare dhall_generator for a new module | Nadrieril | 2019-03-24 | 2 | -163/+171 | |
| | ||||||
* | Improve decoder errors on unknown inputs | Nadrieril | 2019-03-24 | 1 | -6/+2 | |
| | ||||||
* | Update dhall-lang submodule | Nadrieril | 2019-03-24 | 1 | -0/+0 | |
| | ||||||
* | Add standard compliance numbers to README | Nadrieril | 2019-03-24 | 1 | -0/+9 | |
| | ||||||
* | Parse multiline strings correctly | Nadrieril | 2019-03-24 | 7 | -43/+105 | |
| | | | | Closes #24 | |||||
* | Generate parser tests list automatically | Nadrieril | 2019-03-24 | 3 | -67/+45 | |
| | ||||||
* | Parser import hash and headers | Nadrieril | 2019-03-24 | 6 | -25/+86 | |
| | ||||||
* | Disallow builtins as bound variables | Nadrieril | 2019-03-24 | 3 | -10/+20 | |
| | ||||||
* | Fix printer putting unnecessary parens | Nadrieril | 2019-03-24 | 1 | -1/+1 | |
| | ||||||
* | Refactor printer | Nadrieril | 2019-03-24 | 5 | -232/+249 | |
| | | | | | Avoids stupid stack overflows when adding variants, gets precedences right, and updates to latest grammar changes | |||||
* | Handle merge and record projection | Nadrieril | 2019-03-23 | 5 | -20/+74 | |
| | ||||||
* | Remove various -raw suffixes | Nadrieril | 2019-03-23 | 4 | -156/+148 | |
| | ||||||
* | Inline various rules in grammar | Nadrieril | 2019-03-23 | 3 | -101/+54 | |
| | ||||||
* | Rebase latest changes in grammar | Nadrieril | 2019-03-23 | 2 | -45/+75 | |
| | ||||||
* | Improve error ergonomics in parser | Nadrieril | 2019-03-23 | 1 | -60/+55 | |
| | ||||||
* | Update dhall-lang submodule | Nadrieril | 2019-03-23 | 3 | -6/+5 | |
| | ||||||
* | Handle double overflows in parser | Nadrieril | 2019-03-23 | 2 | -6/+11 | |
| | ||||||
* | Parse unicode escapes in string | Nadrieril | 2019-03-23 | 4 | -38/+48 | |
| | ||||||
* | Handle quoted labels | Nadrieril | 2019-03-22 | 5 | -10/+23 | |
| | ||||||
* | oops | Nadrieril | 2019-03-22 | 1 | -7/+7 | |
| | ||||||
* | Parse a lot more of the import types | Nadrieril | 2019-03-22 | 7 | -61/+238 | |
| | ||||||
* | Improve binary decoding errors | Nadrieril | 2019-03-22 | 1 | -14/+25 | |
| | ||||||
* | Improve import handling in parser | Nadrieril | 2019-03-21 | 10 | -17/+80 | |
| | ||||||
* | rustfmt | Nadrieril | 2019-03-21 | 1 | -11/+3 | |
| | ||||||
* | Follow the spec for handling Doubles | Nadrieril | 2019-03-21 | 6 | -10/+51 | |
| | ||||||
* | oops | Nadrieril | 2019-03-21 | 4 | -0/+497 | |
| | ||||||
* | Represent Optional literals more faithfully | Nadrieril | 2019-03-21 | 6 | -74/+61 | |
| | ||||||
* | Rename Record/Union to RecordType/UnionType | Nadrieril | 2019-03-21 | 5 | -17/+17 | |
| | ||||||
* | Reorganize dhall_core a bit | Nadrieril | 2019-03-21 | 8 | -1098/+558 | |
| | ||||||
* | Disable Codecov comment | Nadrieril | 2019-03-20 | 1 | -0/+1 | |
| | ||||||
* | Parser macro tweaks | Nadrieril | 2019-03-20 | 1 | -6/+6 | |
| | ||||||
* | Merge pull request #34 from Nadrieril/rewrite-parser-macros | Nadrieril Feneanar | 2019-03-20 | 11 | -641/+616 | |
|\ | | | | | Rewrite parser macros | |||||
| * | Cleanup parser | Nadrieril | 2019-03-20 | 1 | -91/+64 | |
| | | ||||||
| * | Reimplement shortcutting | Nadrieril | 2019-03-20 | 1 | -5/+13 | |
| | | ||||||
| * | Make parser implementation non-recursive | Nadrieril | 2019-03-20 | 2 | -119/+129 | |
| | | ||||||
| * | Allow patterns in parser macros | Nadrieril | 2019-03-20 | 1 | -31/+21 | |
| | | ||||||
| * | Change syntax of parser macros | Nadrieril | 2019-03-20 | 1 | -148/+148 | |
| | | ||||||
| * | Remove binop special case in parser; cleanup | Nadrieril | 2019-03-20 | 1 | -50/+66 | |
| | | ||||||
| * | Cleanup parser code | Nadrieril | 2019-03-20 | 3 | -126/+50 | |
| | | ||||||
| * | Restore parser performance | Nadrieril | 2019-03-20 | 1 | -310/+82 | |
| | | ||||||
| * | Obsolete old parser macros; performance is now dead | Nadrieril | 2019-03-20 | 4 | -204/+278 | |
| | | ||||||
| * | Handle simple parsing cases with new macros | Nadrieril | 2019-03-20 | 6 | -114/+131 | |
| | | ||||||
| * | Wrap all parsing rules into a common variant | Nadrieril | 2019-03-19 | 1 | -83/+153 | |
| | | ||||||
| * | Extract the core of parser macros into a separate crate | Nadrieril | 2019-03-19 | 6 | -131/+252 | |
|/ | ||||||
* | rustfmt | Nadrieril | 2019-03-19 | 2 | -15/+21 | |
| | ||||||
* | Test printer in parser tests | Nadrieril | 2019-03-19 | 4 | -21/+74 | |
| | | | | Closes #30 |