summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-27Move Pi to WHNFNadrieril1-0/+10
2019-04-27Replace TypeInternal::RecordType with WHNF::RecordTypeNadrieril1-4/+17
2019-04-27Store thunks uniformly in WHNFNadrieril1-59/+42
2019-04-27Abstract out thunks in type positionNadrieril1-22/+64
2019-04-27Rename Now to ThunkNadrieril1-45/+44
2019-04-27Define new intermediate expression typeNadrieril1-19/+36
2019-04-27Using only shift0 was not such a great ideaNadrieril1-23/+19
2019-04-25Respect import boundary in normalizationNadrieril1-1/+3
2019-04-22Store context in TypedNadrieril1-14/+7
2019-04-22Avoid shift_subst in typecheckNadrieril1-1/+15
2019-04-21Prepare for interop between two contextsNadrieril1-17/+37
2019-04-21Embrace TypeInternal as a semantic valueNadrieril1-0/+1
2019-04-20An empty optional value is purely semanticNadrieril1-8/+5
2019-04-20Implement more normalization simplificationsNadrieril1-9/+16
2019-04-20shift by mutable ref to avoid reallocationsNadrieril1-80/+71
2019-04-20TweaksNadrieril1-5/+6
2019-04-20AppliedBuiltin does not need a contextNadrieril1-25/+23
2019-04-20Avoid a lot of unnecessary cloning in apply_builtinNadrieril1-126/+183
2019-04-20CleanupNadrieril1-166/+144
2019-04-20Swap importNadrieril1-62/+54
2019-04-20Remove last remnant of expr buildingNadrieril1-12/+29
2019-04-20Introduce special closures to avoid constructing exprsNadrieril1-34/+67
2019-04-20Avoid a lot of slow Expr costructionNadrieril1-73/+52
2019-04-20FormattingNadrieril1-153/+152
2019-04-20Remove WHNF/Closure distinctionNadrieril1-132/+113
2019-04-20Refcount contexts to avoid clonesNadrieril1-40/+40
2019-04-20Rewrite apply_builtin to work on WHNFsNadrieril1-152/+160
2019-04-20More cleanupNadrieril1-125/+51
2019-04-20Cleanup leftover normalization codeNadrieril1-58/+10
2019-04-20Text interpolationNadrieril1-15/+31
2019-04-20Text literalsNadrieril1-1/+52
2019-04-20Improve WHNF ergonomicsNadrieril1-104/+135
2019-04-20Simplify apply_builtinNadrieril1-111/+69
2019-04-20Optionals and unionsNadrieril1-24/+96
2019-04-19Natural literals and simplificationsNadrieril1-14/+32
2019-04-19Implement boolean simplificationsNadrieril1-24/+31
2019-04-19Boolean literalsNadrieril1-10/+34
2019-04-19List literalsNadrieril1-7/+47
2019-04-19Embrace WHNFNadrieril1-79/+77
2019-04-19Handle RecordLits fully semanticallyNadrieril1-16/+28
2019-04-19Split function in two phasesNadrieril1-12/+24
2019-04-19Values carry their evaluation contextNadrieril1-28/+20
2019-04-19A union constructor is a purely semantic valueNadrieril1-32/+123
2019-04-19Store Values in the contextNadrieril1-10/+36
2019-04-19Introduce closuresNadrieril1-62/+120
2019-04-19Type aliasesNadrieril1-10/+13
2019-04-19Make App() only store one argumentNadrieril1-64/+52
2019-04-19A partially applied builtin is a valueNadrieril1-27/+42
2019-04-19Start separating normalized values from syntactic expressionsNadrieril1-121/+178
2019-04-18Label is redundant in EnvItem::SkipNadrieril1-28/+24