summaryrefslogtreecommitdiff
path: root/dhall/src/core (unfollow)
Commit message (Expand)AuthorFilesLines
2019-09-03Add mapping functions to InterpolatedTextContentsNadrieril2-26/+8
2019-09-03Use map_mut in ValueF::normalize_mutNadrieril2-16/+2
2019-08-30Cleanup conversion of `Value` to `Expr`Nadrieril2-93/+44
2019-08-28Rename SubExpr to Expr, and Expr to RawExprNadrieril2-7/+7
2019-08-26Check correctness of type info in a few more placesNadrieril1-17/+43
2019-08-25Remove now unnecessary VoVF enumNadrieril2-76/+29
2019-08-25Rework apply_builtin to enforce preservation of type informationNadrieril1-17/+15
2019-08-25Enforce type information almost everywhereNadrieril2-33/+36
2019-08-25Check consistency of type informationNadrieril1-25/+28
2019-08-25Keep type information through normalizationNadrieril1-11/+28
2019-08-21Don't use take_mut::take lightly since normalize_whnf might panicNadrieril1-9/+18
2019-08-20Reduce API surface of dhall crateNadrieril2-21/+7
2019-08-20Use Ret in apply_builtinNadrieril1-6/+0
2019-08-20Propagate type information in Value::app()Nadrieril1-8/+15
2019-08-20Track evaluation status alongside ValueF in VoVFNadrieril2-36/+40
2019-08-20No need for Cow in return type of get_typeNadrieril1-3/+2
2019-08-20Introduce a new enum to store either a Value or a ValueFNadrieril2-6/+57
2019-08-20Naming tweaksNadrieril2-9/+8
2019-08-20Add Value::from_builtinNadrieril2-12/+5
2019-08-20Clarify conversion of Const/Builtin to ValueNadrieril1-5/+2
2019-08-20CleanupNadrieril2-16/+6
2019-08-19Tweak Value APINadrieril1-28/+19
2019-08-19Merge TypedValue and ValueNadrieril3-161/+88
2019-08-19Reduce untyped construction of ValuesNadrieril3-65/+51
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril3-44/+39
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril2-23/+22
2019-08-18Merge ValueInternal and TypedValueInternalNadrieril1-111/+79
2019-08-18Rework ValueInternal and clarify invariants around ValueFNadrieril2-70/+63
2019-08-17s/Thunk/Value/Nadrieril5-775/+775
2019-08-16Share type alongside the value in a thunkNadrieril2-40/+110
2019-08-16Use generic Shift/Subst implsNadrieril3-192/+186
2019-08-16Store type in ThunkNadrieril2-58/+71
2019-08-16Remove Const-optimization for nowNadrieril1-14/+5
2019-08-16s/Value/ValueF/Nadrieril4-153/+155
2019-08-16Try to minimize untyped TypedThunksNadrieril1-7/+6
2019-08-16fixup! No need for generic Context anymoreNadrieril1-1/+1
2019-08-16Free variables don't exist anymoreNadrieril1-21/+13
2019-08-16No need for generic Context anymoreNadrieril1-75/+38
2019-08-16Remove dead codeNadrieril4-80/+21
2019-08-16Reduce api surface of dhall crateNadrieril4-52/+45
2019-08-15rustfmtNadrieril1-2/+1
2019-08-15Fix variable substitutionNadrieril1-4/+2
2019-08-15Custom Debug impls to improve debug legibilityNadrieril2-3/+37
2019-08-15Remove special closures from ValueNadrieril2-94/+7
2019-08-15Fix bug in shifting contextsNadrieril1-1/+10
2019-08-14Fix typo in normalizationNadrieril1-1/+1
2019-08-13Considerably simplify Embed handlingNadrieril2-7/+3
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril2-11/+11
2019-08-13TyposNadrieril1-2/+2
2019-08-13s/TypeThunk/TypedThunk/gNadrieril2-45/+47
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 07:37:28 +0000