summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-10Allow providing type for typechecking in APINadrieril1-0/+5
2019-04-10Add SimpleType and SimpeStaticType. Derive the latterNadrieril1-3/+18
2019-04-08clippyNadrieril1-3/+2
2019-04-08Limit public APINadrieril1-7/+2
2019-04-08Rename spec testsNadrieril1-276/+276
2019-04-08Move spec tests into the relevant filesNadrieril1-0/+303
2019-04-07TweaksNadrieril1-1/+2
2019-04-07Restrict public APINadrieril1-3/+6
2019-04-07Use macros in typecheck; much cleanerNadrieril1-132/+125
2019-04-07Universe hierarchy is overkillNadrieril1-73/+59
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
2019-04-07Handle universe error properlyNadrieril1-35/+49
2019-04-07Put a Cow in TypeNadrieril1-70/+78
2019-04-07More typecheckNadrieril1-78/+86
2019-04-06More improvements to typecheckNadrieril1-133/+114
2019-04-06Store the whole type hierarchy in a TypeNadrieril1-101/+159
2019-04-06Add Sort type universeNadrieril1-3/+6
2019-04-06Start taking Typed seriouslyNadrieril1-106/+133
2019-04-06Thread Typed through type_withNadrieril1-41/+48
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 typecheckNadrieril1-125/+131
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-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 danceNadrieril1-4/+1
2019-04-06Give up on laziness and greatly simplify normalizationNadrieril1-3/+3
2019-03-31Make Expr generic in LabelNadrieril1-1/+1
2019-03-31Move recursion out of ExprNadrieril1-3/+3
2019-03-31Make SubExpr a newtypeNadrieril1-55/+48
2019-03-24Correctly namespace interpolations in dhall_expr!()Nadrieril1-2/+0
2019-03-21Represent Optional literals more faithfullyNadrieril1-20/+8
2019-03-21Rename Record/Union to RecordType/UnionTypeNadrieril1-5/+5
2019-03-18Implement a few more primitivesNadrieril1-1/+0
2019-03-18Split List literal between empty and non-emptyNadrieril1-8/+9
2019-03-18Improve ergonomics of typecheckingNadrieril1-354/+248
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril1-219/+78
2019-03-17Clean up some mess relating to Clone boundsNadrieril1-2/+2
2019-03-17Use Rc consistently everywhereNadrieril1-246/+302
2019-03-16Use Rc instead of Box in AST to allow structural sharingNadrieril1-6/+7
2019-03-16Use Box more uniformly in ASTNadrieril1-12/+14
2019-03-16Store an Option in OptionalLit instead of a vecNadrieril1-7/+3
2019-03-15Store a vec in AppNadrieril1-6/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 13:21:58 +0000