summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-14Fix a tiny normalization bugNadrieril1-1/+1
2019-04-13Implement ListAppend typecheckingNadrieril1-2/+20
2019-04-13Fix `let` parsingNadrieril1-0/+1
2019-04-13Improve error display on test failureNadrieril1-10/+20
2019-04-13Various typecheck improvementsNadrieril1-83/+93
2019-04-13Don't need dhall::expr!() for builtinsNadrieril1-15/+20
2019-04-13Split typecheck into two phasesNadrieril1-202/+214
2019-04-13docs: document import resolution rootNadrieril1-4/+6
2019-04-13Document all of the APINadrieril4-10/+60
2019-04-12Restrict public API to its most minimal expressionNadrieril8-101/+111
2019-04-12Remove any remains from the standard or `dhall-haskell`Nadrieril1-2/+2
2019-04-12Capture `Span`s in the AST and thread them through Parsed and ResolvedNadrieril3-15/+10
2019-04-11Thread lifetimes through other newtypesNadrieril7-155/+174
2019-04-11Add lifetime parameters to Parsed and ResolvedNadrieril5-23/+52
2019-04-11Remove type parameter from TypeErrorNadrieril3-28/+27
2019-04-11Respect import boundariesNadrieril5-49/+63
2019-04-11Be more civilized when typecheck case unimplementedNadrieril1-2/+3
2019-04-11Ditch quick_error because it doesn't support generic parametersNadrieril2-34/+50
2019-04-11Improve simple type handling in typecheckNadrieril2-37/+39
2019-04-11Abstract get_type() into a traitNadrieril6-49/+96
2019-04-11Handle untyped case differently from the type of SortNadrieril4-75/+107
2019-04-11`Some` is not a builtin, it's a keywordNadrieril1-1/+0
2019-04-11Remove premature #[inline(always)]Nadrieril1-18/+0
2019-04-11Add basic deserialization supportNadrieril5-9/+95
2019-04-10Simplify test harnessNadrieril3-119/+97
2019-04-10Display error messagesNadrieril1-0/+5
2019-04-10Allow providing type for typechecking in APINadrieril4-20/+21
2019-04-10Mild cleanup importsNadrieril2-18/+16
2019-04-10Cleanup error handlingNadrieril4-56/+50
2019-04-10Split traits module into submodulesNadrieril3-50/+47
2019-04-10Add error submoduleNadrieril4-8/+8
2019-04-10Write main lib docNadrieril1-0/+106
2019-04-10Prepare for serde supportNadrieril2-0/+10
2019-04-10Add a new Deserialize trait for reading dhall valuesNadrieril2-0/+64
2019-04-10s/load_from/parse/Nadrieril3-20/+20
2019-04-10Add SimpleType and SimpeStaticType. Derive the latterNadrieril4-43/+111
2019-04-09Update dhall-lang submoduleNadrieril1-1/+0
2019-04-08clippyNadrieril4-31/+40
2019-04-08Limit public APINadrieril3-14/+8
2019-04-08Rename spec testsNadrieril3-599/+599
2019-04-08Move spec tests into the relevant filesNadrieril5-0/+833
2019-04-07TweaksNadrieril2-4/+2
2019-04-07Restrict public APINadrieril6-55/+57
2019-04-07FixNadrieril1-0/+1
2019-04-07Use macros in typecheck; much cleanerNadrieril1-132/+125
2019-04-07Universe hierarchy is overkillNadrieril2-77/+63
2019-04-07More typecheckNadrieril1-66/+89
2019-04-07Avoid constructing exprs manually when possibleNadrieril1-18/+20
2019-04-07Store Normalized in type errorNadrieril1-46/+66
2019-04-07Augment stack size for typecheck testsNadrieril1-0/+12