summaryrefslogtreecommitdiff
path: root/dhall (unfollow)
Commit message (Expand)AuthorFilesLines
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 possibleNadrieril5-19/+24
2019-04-07Store Normalized in type errorNadrieril1-46/+66
2019-04-07Augment stack size for typecheck testsNadrieril3-8/+30
2019-04-07Handle universe error properlyNadrieril1-35/+49
2019-04-07Put a Cow in TypeNadrieril3-76/+84
2019-04-07More typecheckNadrieril1-78/+86
2019-04-06More improvements to typecheckNadrieril1-133/+114
2019-04-06Store the whole type hierarchy in a TypeNadrieril2-110/+167
2019-04-06Add Sort type universeNadrieril2-9/+12
2019-04-06Start taking Typed seriouslyNadrieril3-111/+135
2019-04-06Thread Typed through type_withNadrieril3-66/+67
2019-04-06Move binary decoding to new APINadrieril4-32/+66
2019-04-06Massage import loading into new APINadrieril3-51/+83
2019-04-06Define some newtypes for ExprNadrieril2-8/+37
2019-04-06Rename some modulesNadrieril3-3/+3
2019-04-06s/Type/StaticType/Nadrieril3-20/+19
2019-04-06s/DhallError/ImportError/Nadrieril2-13/+13
2019-04-06Factor out type equality checkingNadrieril1-46/+50
2019-04-06Move more cases after recursionNadrieril1-34/+34
2019-04-06Loop through args when typechecking AppNadrieril1-17/+24
2019-04-06Factor out the recursion when possible in typecheckNadrieril2-127/+133
2019-04-06Add type-inference testsNadrieril2-0/+149
2019-04-06Normalize only as needed while typecheckingNadrieril1-17/+17
2019-04-06type_with always normalizesNadrieril1-49/+35
2019-04-06Avoid early returns in type_withNadrieril1-41/+38
2019-04-06Split dhall_expr!() into 2Nadrieril1-0/+2
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-06rustfmtNadrieril1-1/+3
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril2-233/+206
2019-04-05Remove some unused filesNadrieril1-9/+0
2019-04-05Update dhall-lang submoduleNadrieril1-0/+1
2019-04-04Get keyword rule from upstreamNadrieril1-1/+1
2019-04-04Update dhall-lang submoduleNadrieril1-36/+36
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