summaryrefslogtreecommitdiff
path: root/dhall/src/core/thunk.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-08-17s/Thunk/Value/Nadrieril1-406/+0
2019-08-16Share type alongside the value in a thunkNadrieril1-40/+98
2019-08-16Use generic Shift/Subst implsNadrieril1-27/+8
2019-08-16Store type in ThunkNadrieril1-54/+40
2019-08-16Remove Const-optimization for nowNadrieril1-14/+5
2019-08-16s/Value/ValueF/Nadrieril1-44/+46
2019-08-16Try to minimize untyped TypedThunksNadrieril1-7/+6
2019-08-16Remove dead codeNadrieril1-42/+17
2019-08-16Reduce api surface of dhall crateNadrieril1-28/+28
2019-08-15Custom Debug impls to improve debug legibilityNadrieril1-1/+20
2019-08-13Considerably simplify Embed handlingNadrieril1-2/+0
2019-08-13Stop tracking the absence of Embed values at the type levelNadrieril1-6/+6
2019-08-13TyposNadrieril1-2/+2
2019-08-13s/TypeThunk/TypedThunk/gNadrieril1-33/+35
2019-08-13Swap Typed and TypeThunkNadrieril1-21/+104
2019-08-10Remove dhall::expr!() macroNadrieril1-4/+0
2019-08-08Add support for dependent typesNadrieril1-0/+4
2019-05-12clippyNadrieril1-1/+1
2019-05-09Merge Type and TypedNadrieril1-1/+1
2019-05-09Make visibilities more consistentNadrieril1-27/+21
2019-05-09Reduce the distance between Type and TypedNadrieril1-48/+11
2019-05-09ExprF need not be generic in LabelNadrieril1-5/+3
2019-05-09Make shift fallible and improve shift ergonomicsNadrieril1-20/+20
2019-05-08Implement normalization for record merging operatorsNadrieril1-0/+7
2019-05-07Don't discard normalization work done by typecheckingNadrieril1-6/+46
2019-05-07Promote shift and subst_shift to traitsNadrieril1-35/+47
2019-05-07Move AlphaVar and AlphaLabel into a new moduleNadrieril1-1/+2
2019-05-07Document Value and ThunkNadrieril1-3/+5
2019-05-07Clean up some of the SubExpr type-changing methodsNadrieril1-2/+2
2019-05-06Move main datatypes into their own modulesNadrieril1-0/+295
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 23:46:32 +0000