summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril2-233/+206
2019-04-04Update dhall-lang submoduleNadrieril1-36/+36
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 ExprNadrieril4-9/+9
2019-03-31rustfmtNadrieril1-4/+1
2019-03-31Make SubExpr a newtypeNadrieril4-78/+70
2019-03-31Remove some redundant namespacingNadrieril3-47/+48
2019-03-27Manually rustfmt like a naziNadrieril2-4/+22
2019-03-26Derive DhallType for anonymous structs and enumsNadrieril1-0/+24
2019-03-26Derive DhallType for structsNadrieril3-10/+106
2019-03-26Update dhall-lang submoduleNadrieril1-5/+5
2019-03-24Lay groundwork for DhallType derivingNadrieril2-1/+15
2019-03-24Correctly namespace interpolations in dhall_expr!()Nadrieril2-3/+0
2019-03-24Improve decoder errors on unknown inputsNadrieril1-6/+2
2019-03-24Parse multiline strings correctlyNadrieril3-23/+25
2019-03-24Generate parser tests list automaticallyNadrieril3-67/+45
2019-03-24Parser import hash and headersNadrieril3-7/+32
2019-03-24Disallow builtins as bound variablesNadrieril1-1/+1
2019-03-23Handle merge and record projectionNadrieril2-11/+42
2019-03-23Update dhall-lang submoduleNadrieril1-2/+3
2019-03-23Handle double overflows in parserNadrieril1-2/+2
2019-03-23Parse unicode escapes in stringNadrieril1-1/+1
2019-03-22Handle quoted labelsNadrieril1-1/+1
2019-03-22oopsNadrieril1-7/+7
2019-03-22Parse a lot more of the import typesNadrieril3-17/+91
2019-03-22Improve binary decoding errorsNadrieril1-14/+25
2019-03-21Improve import handling in parserNadrieril5-6/+44
2019-03-21rustfmtNadrieril1-11/+3
2019-03-21Follow the spec for handling DoublesNadrieril2-2/+2
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 bitNadrieril4-7/+7
2019-03-20Make parser implementation non-recursiveNadrieril1-16/+1
2019-03-20Cleanup parser codeNadrieril1-1/+1
2019-03-20Obsolete old parser macros; performance is now deadNadrieril1-1/+1
2019-03-20Handle simple parsing cases with new macrosNadrieril1-1/+1
2019-03-19rustfmtNadrieril2-15/+21
2019-03-19Test printer in parser testsNadrieril1-0/+5
2019-03-19Add travis integrationNadrieril2-11/+18
2019-03-18Implement a few more primitivesNadrieril3-38/+65
2019-03-18Split List literal between empty and non-emptyNadrieril4-32/+41
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 typecheckingNadrieril4-241/+88
2019-03-17Clean up some mess relating to Clone boundsNadrieril2-13/+13
2019-03-17Use Rc consistently everywhereNadrieril5-436/+554