summaryrefslogtreecommitdiff
path: root/dhall_core (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-07Avoid constructing exprs manually when possibleNadrieril1-0/+2
2019-04-06Add Sort type universeNadrieril1-0/+1
2019-04-06Massage import loading into new APINadrieril1-0/+39
2019-04-06Factor out the recursion when possible in typecheckNadrieril1-0/+21
2019-04-06Upgrade map to traverseNadrieril2-46/+102
2019-04-06subst_shift in a single passNadrieril1-17/+13
2019-04-06Factor out shift/subst/shift danceNadrieril1-0/+10
2019-04-06rustfmtNadrieril1-2/+4
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril1-10/+53
2019-04-04Revert end_of_line handling to upstreamNadrieril1-3/+1
2019-04-04Import union rules from upstream grammarNadrieril1-9/+21
2019-04-04Handle Some as in upstream grammarNadrieril1-21/+22
2019-04-04Factor literal-expression back inNadrieril1-1/+1
2019-04-04Tweak double literalsNadrieril1-6/+8
2019-04-04Factor back in some rule branchesNadrieril1-45/+48
2019-04-04Tweak matching on Some/NoneNadrieril2-21/+28
2019-04-04Roll rc through parser to enable matchingNadrieril1-93/+95
2019-04-04renameNadrieril1-5/+5
2019-04-01Refactor and clarify various map methodsNadrieril2-119/+254
2019-03-31Make Expr generic in LabelNadrieril2-12/+14
2019-03-31Generalize type of mapNadrieril1-5/+7
2019-03-31Remove evil Deref implNadrieril2-11/+16
2019-03-31Move recursion out of ExprNadrieril4-152/+141
2019-03-31Make SubExpr a newtypeNadrieril3-18/+44
2019-03-27Integrate the special patterns from match_children!() into iter_patternsNadrieril2-130/+39
2019-03-27Rename match_pair!() to match_children!()Nadrieril1-8/+8
2019-03-27Manually rustfmt like a naziNadrieril1-90/+213
2019-03-26Derive DhallType for structsNadrieril2-12/+0
2019-03-24Lay groundwork for DhallType derivingNadrieril2-0/+12
2019-03-24Parse multiline strings correctlyNadrieril2-20/+50
2019-03-24Parser import hash and headersNadrieril3-18/+54
2019-03-24Disallow builtins as bound variablesNadrieril1-4/+12
2019-03-24Fix printer putting unnecessary parensNadrieril1-1/+1
2019-03-24Refactor printerNadrieril4-229/+246
2019-03-23Handle merge and record projectionNadrieril3-9/+32
2019-03-23Remove various -raw suffixesNadrieril1-47/+47
2019-03-23Inline various rules in grammarNadrieril1-2/+2
2019-03-23Improve error ergonomics in parserNadrieril1-60/+55
2019-03-23Handle double overflows in parserNadrieril1-4/+9
2019-03-23Parse unicode escapes in stringNadrieril3-37/+47
2019-03-22Handle quoted labelsNadrieril3-8/+21
2019-03-22Parse a lot more of the import typesNadrieril3-26/+129
2019-03-21Improve import handling in parserNadrieril3-9/+32
2019-03-21Follow the spec for handling DoublesNadrieril4-8/+49
2019-03-21oopsNadrieril4-0/+497
2019-03-21Represent Optional literals more faithfullyNadrieril2-20/+34
2019-03-21Rename Record/Union to RecordType/UnionTypeNadrieril2-8/+8
2019-03-21Reorganize dhall_core a bitNadrieril3-1079/+539
2019-03-20Parser macro tweaksNadrieril1-6/+6
2019-03-20Cleanup parserNadrieril1-91/+64
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 17:12:58 +0000