summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-06Normalize output of type inferenceNadrieril1-4/+4
2019-04-06Ensure all type errors carry normalized typesNadrieril1-7/+4
2019-04-06Remove an unnecessary normalizationNadrieril1-2/+1
2019-04-06Factor out shift/subst/shift danceNadrieril2-14/+4
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril2-233/+206
2019-04-04Get keyword rule from upstreamNadrieril1-1/+1
2019-04-01Refactor and clarify various map methodsNadrieril1-1/+1
2019-03-31Make Expr generic in LabelNadrieril1-1/+1
2019-03-31Remove evil Deref implNadrieril2-3/+3
2019-03-31Move recursion out of ExprNadrieril3-8/+8
2019-03-31Make SubExpr a newtypeNadrieril4-78/+70
2019-03-31Remove some redundant namespacingNadrieril2-31/+32
2019-03-27Manually rustfmt like a naziNadrieril1-2/+12
2019-03-26Derive DhallType for structsNadrieril2-0/+79
2019-03-24Lay groundwork for DhallType derivingNadrieril1-1/+0
2019-03-24Correctly namespace interpolations in dhall_expr!()Nadrieril2-3/+0
2019-03-24Improve decoder errors on unknown inputsNadrieril1-6/+2
2019-03-24Parser import hash and headersNadrieril2-6/+31
2019-03-23Handle merge and record projectionNadrieril1-5/+36
2019-03-22oopsNadrieril1-7/+7
2019-03-22Parse a lot more of the import typesNadrieril2-10/+84
2019-03-22Improve binary decoding errorsNadrieril1-14/+25
2019-03-21Improve import handling in parserNadrieril3-1/+34
2019-03-21rustfmtNadrieril1-11/+3
2019-03-21Follow the spec for handling DoublesNadrieril1-1/+1
2019-03-21Represent Optional literals more faithfullyNadrieril3-39/+20
2019-03-21Rename Record/Union to RecordType/UnionTypeNadrieril2-7/+7
2019-03-21Reorganize dhall_core a bitNadrieril3-6/+6
2019-03-19rustfmtNadrieril1-14/+20
2019-03-18Implement a few more primitivesNadrieril2-17/+44
2019-03-18Split List literal between empty and non-emptyNadrieril3-29/+38
2019-03-18tweaksNadrieril1-4/+14
2019-03-18Split off builtin application normalization for clarityNadrieril1-168/+149
2019-03-18Improve normalization ergonomicsNadrieril1-145/+150
2019-03-18Improve ergonomics of typecheckingNadrieril1-354/+248
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril3-237/+87
2019-03-17Clean up some mess relating to Clone boundsNadrieril2-13/+13
2019-03-17Use Rc consistently everywhereNadrieril4-427/+545
2019-03-16Use Rc instead of Box in AST to allow structural sharingNadrieril3-7/+10
2019-03-16Use Box more uniformly in ASTNadrieril3-102/+107
2019-03-16Store an Option in OptionalLit instead of a vecNadrieril3-31/+24
2019-03-15rustfmtNadrieril1-26/+24
2019-03-15Get rid of box patternsNadrieril2-14/+13
2019-03-15Store a vec in AppNadrieril3-161/+147
2019-03-14Handle and parse interpolated stringsNadrieril2-5/+17
2019-03-14Implement binary decodingNadrieril2-0/+215
2019-03-12rustfmtNadrieril1-2/+10
2019-03-12Handle Some and None builtinsNadrieril1-1/+10
2019-03-11Fix List/fold implementationNadrieril1-4/+4
2019-03-11Normalize lazilyNadrieril1-166/+212