summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-25normalize_to_type can use the captured contextNadrieril1-14/+14
2019-04-23RecordTypesNadrieril1-62/+108
2019-04-23Fix shifting under PiNadrieril1-13/+29
2019-04-23Avoid duplicating TypeInternal in TypedImprovedNadrieril1-44/+40
2019-04-23Avoid constructing ExprF::Pi while typecheckingNadrieril1-57/+93
2019-04-23Avoid duplicating work when matching on Pi typesNadrieril1-35/+100
2019-04-23Pass TypedImproved directly to type_last_layerNadrieril1-40/+55
2019-04-22Temporarily simplify functions depending on TypeInternalNadrieril1-26/+14
2019-04-22Pass through new TypedImproved typeNadrieril1-25/+92
2019-04-22Store context in TypedNadrieril1-13/+18
2019-04-22Avoid shift_subst in typecheckNadrieril1-31/+25
2019-04-21Prepare for interop between two contextsNadrieril1-8/+53
2019-04-21Factor out context handlingNadrieril1-14/+28
2019-04-21Embrace TypeInternal as a semantic valueNadrieril1-8/+14
2019-04-20Move TypeInternal to typecheckNadrieril1-9/+29
2019-04-20An empty optional value is purely semanticNadrieril1-7/+1
2019-04-19Make App() only store one argumentNadrieril1-46/+18
2019-04-18Label is redundant in EnvItem::SkipNadrieril1-2/+3
2019-04-18subst_shift in a single passNadrieril1-10/+7
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 19:17:54 +0000