summaryrefslogtreecommitdiff
path: root/dhall_core (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Integrate the special patterns from match_children!() into iter_patternsNadrieril2019-03-272-130/+39
| | | | Considerably simplifies parser macros
* Rename match_pair!() to match_children!()Nadrieril2019-03-271-8/+8
|
* Manually rustfmt like a naziNadrieril2019-03-271-90/+213
|
* Derive DhallType for structsNadrieril2019-03-262-12/+0
|
* Lay groundwork for DhallType derivingNadrieril2019-03-242-0/+12
|
* Parse multiline strings correctlyNadrieril2019-03-242-20/+50
| | | | Closes #24
* Parser import hash and headersNadrieril2019-03-243-18/+54
|
* Disallow builtins as bound variablesNadrieril2019-03-241-4/+12
|
* Fix printer putting unnecessary parensNadrieril2019-03-241-1/+1
|
* Refactor printerNadrieril2019-03-244-229/+246
| | | | | Avoids stupid stack overflows when adding variants, gets precedences right, and updates to latest grammar changes
* Handle merge and record projectionNadrieril2019-03-233-9/+32
|
* Remove various -raw suffixesNadrieril2019-03-231-47/+47
|
* Inline various rules in grammarNadrieril2019-03-231-2/+2
|
* Improve error ergonomics in parserNadrieril2019-03-231-60/+55
|
* Handle double overflows in parserNadrieril2019-03-231-4/+9
|
* Parse unicode escapes in stringNadrieril2019-03-233-37/+47
|
* Handle quoted labelsNadrieril2019-03-223-8/+21
|
* Parse a lot more of the import typesNadrieril2019-03-223-26/+129
|
* Improve import handling in parserNadrieril2019-03-213-9/+32
|
* Follow the spec for handling DoublesNadrieril2019-03-214-8/+49
|
* oopsNadrieril2019-03-214-0/+497
|
* Represent Optional literals more faithfullyNadrieril2019-03-212-20/+34
|
* Rename Record/Union to RecordType/UnionTypeNadrieril2019-03-212-8/+8
|
* Reorganize dhall_core a bitNadrieril2019-03-213-1079/+539
|
* Parser macro tweaksNadrieril2019-03-201-6/+6
|
* Cleanup parserNadrieril2019-03-201-91/+64
|
* Reimplement shortcuttingNadrieril2019-03-201-5/+13
|
* Make parser implementation non-recursiveNadrieril2019-03-201-103/+128
|
* 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-202-125/+49
|
* Restore parser performanceNadrieril2019-03-201-310/+82
|
* Obsolete old parser macros; performance is now deadNadrieril2019-03-202-189/+266
|
* Handle simple parsing cases with new macrosNadrieril2019-03-203-110/+127
|
* Wrap all parsing rules into a common variantNadrieril2019-03-191-83/+153
|
* Extract the core of parser macros into a separate crateNadrieril2019-03-192-131/+46
|
* Test printer in parser testsNadrieril2019-03-192-21/+68
| | | | Closes #30
* Split List literal between empty and non-emptyNadrieril2019-03-182-15/+14
|
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-250/+100
|
* Clean up some mess relating to Clone boundsNadrieril2019-03-172-68/+30
|
* Use Rc consistently everywhereNadrieril2019-03-171-145/+139
|
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-162-72/+75
| | | | Closes #29
* Use Box more uniformly in ASTNadrieril2019-03-162-58/+58
| | | | Closes #28
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-162-11/+11
| | | | Closes #21
* Get rid of box patternsNadrieril2019-03-151-1/+0
| | | | Closes #27
* Store a vec in AppNadrieril2019-03-152-12/+27
| | | | Closes #26
* Revert "Start rewriting parser with slice patterns"Nadrieril2019-03-152-123/+30
| | | | This reverts commit 9d033adb111dd5b5008a9430c8425d3152dabee5.
* Start rewriting parser with slice patternsNadrieril2019-03-152-30/+123
|
* rustfmtNadrieril2019-03-141-5/+16
|