summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/phase/typecheck.rs (unfollow)
Commit message (Collapse)AuthorFilesLines
2019-04-30Store thunks behind Rc<RefCell<_>> to ensure minimal computationNadrieril1-4/+1
2019-04-29Remove NF/WHNF distinction at runtimeNadrieril1-6/+6
2019-04-29Allow representing normal form as a semantic valueNadrieril1-22/+27
2019-04-29Don't need to store original expression in TypeErrorNadrieril1-48/+14
2019-04-29Properly substitute when typing AppNadrieril1-45/+45
2019-04-28Use PartiallyNormalized throughout typecheckingNadrieril1-86/+87
2019-04-27Move Pi to WHNFNadrieril1-36/+41
2019-04-27BuiltinsNadrieril1-15/+11
2019-04-27Replace TypeInternal::UnionType with WHNF::UnionTypeNadrieril1-23/+23
2019-04-27Replace TypeInternal::RecordType with WHNF::RecordTypeNadrieril1-28/+51
2019-04-27Rework TypeInternalNadrieril1-83/+72
2019-04-26Lists and OptionalsNadrieril1-42/+94
2019-04-26ensure_is_const is not that helpfulNadrieril1-59/+35
2019-04-26Union typesNadrieril1-66/+117
2019-04-25Fix shifting againNadrieril1-13/+9
2019-04-25Now I can use TypeInternal::RecordType fullyNadrieril1-11/+10
2019-04-25Revert "Try property testing against reference implementation"Nadrieril1-133/+0
This reverts commit ff1bee1b115a5b9528be621502719cc4faeffaee.
2019-04-25Try property testing against reference implementationNadrieril1-0/+133
2019-04-25Correctly shift values before inserting into contextNadrieril1-4/+7
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
Closes #36
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
Closes #78
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 21:45:00 +0000