summaryrefslogtreecommitdiff
path: root/dhall_core/src (follow)
Commit message (Expand)AuthorAgeFilesLines
* Factor out the recursion when possible in typecheckNadrieril2019-04-061-0/+21
* Upgrade map to traverseNadrieril2019-04-062-46/+102
* subst_shift in a single passNadrieril2019-04-061-17/+13
* Factor out shift/subst/shift danceNadrieril2019-04-061-0/+10
* rustfmtNadrieril2019-04-061-2/+4
* Merge branch 'master' into exprfNadrieril2019-04-062-167/+192
|\
| * Revert end_of_line handling to upstreamNadrieril2019-04-041-3/+1
| * Import union rules from upstream grammarNadrieril2019-04-041-9/+21
| * Handle Some as in upstream grammarNadrieril2019-04-041-21/+22
| * Factor literal-expression back inNadrieril2019-04-041-1/+1
| * Tweak double literalsNadrieril2019-04-041-6/+8
| * Factor back in some rule branchesNadrieril2019-04-041-45/+48
| * Tweak matching on Some/NoneNadrieril2019-04-042-21/+28
| * Roll rc through parser to enable matchingNadrieril2019-04-041-93/+95
| * renameNadrieril2019-04-041-5/+5
* | Give up on laziness and greatly simplify normalizationNadrieril2019-04-061-10/+53
* | Refactor and clarify various map methodsNadrieril2019-04-012-119/+254
* | Make Expr generic in LabelNadrieril2019-03-312-12/+14
* | Generalize type of mapNadrieril2019-03-311-5/+7
* | Remove evil Deref implNadrieril2019-03-312-11/+16
* | Move recursion out of ExprNadrieril2019-03-314-152/+141
* | Make SubExpr a newtypeNadrieril2019-03-313-18/+44
|/
* Integrate the special patterns from match_children!() into iter_patternsNadrieril2019-03-272-130/+39
* 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
* 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
* 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