summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2020-01-30Avoid unnecessary allocations of `Value`sNadrieril5-25/+25
2020-01-30Clarify normalization to ensure we only nze onceNadrieril4-58/+55
2020-01-30Move Thunk value into ValueInternalNadrieril2-35/+32
2020-01-30Prepare ValueInternal with new `Form`sNadrieril1-53/+50
2020-01-30Factor out text literals in ValueNadrieril3-83/+110
2020-01-30Remove type parameter from ValueKindNadrieril4-35/+21
2020-01-30Remove Value visitorNadrieril3-309/+87
2020-01-30Move parse and resolve up a levelNadrieril6-8/+7
2020-01-30Move parser files to syntax/Nadrieril3-1/+1
2020-01-30Move main API to lib.rsNadrieril13-254/+256
2020-01-30Move normalize under nzeNadrieril6-6/+5
2020-01-30Move Value-related stuff under semantics::nzeNadrieril8-12/+8
2020-01-30Introduce Thunks and normalize lazilyNadrieril7-45/+95
2020-01-30Remove NF marker; it was premature optimizationNadrieril1-22/+11
2020-01-30Increase encapsulation for ClosuresNadrieril2-12/+32
2020-01-30Make unnormalized Values unobservableNadrieril2-10/+3
2020-01-30s/as_whnf/kind/Nadrieril4-55/+53
2020-01-30TweakNadrieril1-9/+4
2020-01-30Remove use of take_mutNadrieril1-25/+22
2020-01-30Encapsulate partially applied builtin in a separate structNadrieril6-74/+120
2020-01-30Remove debug output in type errorsNadrieril1-12/+3
2020-01-30No need for the current env to tck Foo/build closuresNadrieril3-27/+3
2020-01-30Clean importsNadrieril1-7/+8
2020-01-30Actually, no need for keeping extra args in apply_builtinNadrieril1-25/+10
2020-01-30Remove old typecheck moduleNadrieril3-21/+5
2020-01-30Move builtins-related code to its own moduleNadrieril8-568/+553
2020-01-29Cleanup variable handlingNadrieril9-63/+39
2020-01-29Move envs to their own filesNadrieril11-241/+239
2020-01-29Finally get rid of all of the shift/subst_shift !Nadrieril5-112/+3
2020-01-29s/QuoteEnv/VarEnv/Nadrieril3-43/+40
2020-01-29Use NameEnv in tyexpr_to_exprNadrieril2-35/+23
2020-01-29Remove dead codeNadrieril10-1202/+31
2020-01-29Fix insufficient normalizationNadrieril3-10/+16
2020-01-29Use TyExpr in TypedNadrieril5-122/+50
2020-01-29Use Normalized in serde_dhallNadrieril1-52/+74
2020-01-29Fix more bugsNadrieril3-65/+54
2020-01-28Implement assert & merge and fix more bugsNadrieril3-104/+171
2020-01-28Thread env through nztion to fix Foo/build closuresNadrieril6-44/+95
2020-01-28Fix all sorts of variable shenanigansNadrieril4-117/+68
2020-01-27Start rewriting value comparisonNadrieril1-0/+107
2020-01-27Fix a bunch of bugs and more tckNadrieril9-57/+104
2020-01-25Moar typecheckNadrieril1-145/+342
2020-01-25More typecheckNadrieril3-58/+301
2020-01-25Make most type errors stringyNadrieril2-145/+101
2020-01-25Enable comparing Closures for equalityNadrieril3-14/+20
2020-01-25Typecheck more casesNadrieril5-62/+165
2020-01-24Implement basic typecheck with new approachNadrieril4-12/+166
2020-01-24Fix some variable shifting failuresNadrieril4-14/+53
2020-01-24Disable runtime type checksNadrieril1-6/+7
2020-01-24Normalize more expressionsNadrieril2-9/+10