summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-18Remove more duplicationNadrieril1-3/+3
2019-04-16Add typecheck failure testsNadrieril1-7/+82
2019-04-16Handle nullary union variantsNadrieril1-1/+1
2019-04-16Prepare for nullary union variantsNadrieril1-8/+38
2019-04-16Fix union constructor typecheckingNadrieril1-17/+24
2019-04-16Typecheck union constructorNadrieril1-6/+15
2019-04-16Typecheck unionsNadrieril1-16/+26
2019-04-16Typecheck higher-kinded recordsNadrieril1-21/+33
2019-04-16Remove one more instance of duplicate typecheckingNadrieril1-1/+1
2019-04-16Remove higher-kinded type noise in TypeNadrieril1-36/+54
2019-04-16Avoid some work duplication in typecheckingNadrieril1-48/+56
2019-04-15Handle empty optionals correctlyNadrieril1-0/+14
2019-04-14clippyNadrieril1-9/+8
2019-04-14Implement `let` type synonymsNadrieril1-51/+25
2019-04-13Implement ListAppend typecheckingNadrieril1-2/+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-12Restrict public API to its most minimal expressionNadrieril1-13/+12
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 ResolvedNadrieril1-3/+3
2019-04-11Thread lifetimes through other newtypesNadrieril1-57/+78
2019-04-11Add lifetime parameters to Parsed and ResolvedNadrieril1-1/+1
2019-04-11Remove type parameter from TypeErrorNadrieril1-19/+18
2019-04-11Respect import boundariesNadrieril1-13/+18
2019-04-11Be more civilized when typecheck case unimplementedNadrieril1-2/+3
2019-04-11Improve simple type handling in typecheckNadrieril1-37/+34
2019-04-11Abstract get_type() into a traitNadrieril1-44/+10
2019-04-11Handle untyped case differently from the type of SortNadrieril1-70/+101
2019-04-11Remove premature #[inline(always)]Nadrieril1-18/+0
2019-04-10Simplify test harnessNadrieril1-4/+4
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 23:24:06 +0000