summaryrefslogtreecommitdiff
path: root/dhall/src/core (unfollow)
Commit message (Expand)AuthorFilesLines
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
2019-08-13Swap Typed and TypeThunkNadrieril1-21/+104
2019-08-13Move api into its own crateNadrieril1-4/+4
2019-08-10Remove dhall::expr!() macroNadrieril2-9/+45
2019-08-08Add support for dependent typesNadrieril2-1/+22
2019-08-07Remove union literals from the languageNadrieril1-12/+3
2019-08-06Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril1-3/+5
2019-05-12clippyNadrieril3-5/+3
2019-05-09Merge Type and TypedNadrieril1-1/+1
2019-05-09Make visibilities more consistentNadrieril4-67/+54
2019-05-09Reduce the distance between Type and TypedNadrieril1-48/+11
2019-05-09ExprF need not be generic in LabelNadrieril2-8/+4
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril4-118/+147
2019-05-09Detect duplicate record fields in typecheckNadrieril1-6/+6
2019-05-09Correctly shift free variables in normalizationNadrieril1-10/+10
2019-05-08Implement normalization for record merging operatorsNadrieril1-0/+7
2019-05-08Implement normalization of missing builtinsNadrieril1-2/+7
2019-05-08Fix Context shiftingNadrieril1-15/+24
2019-05-08shift on lookup instead of on insertNadrieril2-27/+71
2019-05-07Replace hashmap-based context with a vec-based oneNadrieril1-14/+37
2019-05-07Don't discard normalization work done by typecheckingNadrieril2-31/+54
2019-05-07Unify typecheck and normalization contextsNadrieril2-65/+113
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 23:44:48 +0000