summaryrefslogtreecommitdiff
path: root/dhall/src/core/thunk.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* s/Thunk/Value/Nadrieril2019-08-171-406/+0
* Share type alongside the value in a thunkNadrieril2019-08-161-40/+98
* Use generic Shift/Subst implsNadrieril2019-08-161-27/+8
* Store type in ThunkNadrieril2019-08-161-54/+40
* Remove Const-optimization for nowNadrieril2019-08-161-14/+5
* s/Value/ValueF/Nadrieril2019-08-161-44/+46
* Try to minimize untyped TypedThunksNadrieril2019-08-161-7/+6
* Remove dead codeNadrieril2019-08-161-42/+17
* Reduce api surface of dhall crateNadrieril2019-08-161-28/+28
* Custom Debug impls to improve debug legibilityNadrieril2019-08-151-1/+20
* Considerably simplify Embed handlingNadrieril2019-08-131-2/+0
* Stop tracking the absence of Embed values at the type levelNadrieril2019-08-131-6/+6
* TyposNadrieril2019-08-131-2/+2
* s/TypeThunk/TypedThunk/gNadrieril2019-08-131-33/+35
* Swap Typed and TypeThunkNadrieril2019-08-131-21/+104
* Remove dhall::expr!() macroNadrieril2019-08-101-4/+0
* Add support for dependent typesNadrieril2019-08-081-0/+4
* clippyNadrieril2019-05-121-1/+1
* Merge Type and TypedNadrieril2019-05-091-1/+1
* Make visibilities more consistentNadrieril2019-05-091-27/+21
* Reduce the distance between Type and TypedNadrieril2019-05-091-48/+11
* ExprF need not be generic in LabelNadrieril2019-05-091-5/+3
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-20/+20
* Implement normalization for record merging operatorsNadrieril2019-05-081-0/+7
* Don't discard normalization work done by typecheckingNadrieril2019-05-071-6/+46
* Promote shift and subst_shift to traitsNadrieril2019-05-071-35/+47
* Move AlphaVar and AlphaLabel into a new moduleNadrieril2019-05-071-1/+2
* Document Value and ThunkNadrieril2019-05-071-3/+5
* Clean up some of the SubExpr type-changing methodsNadrieril2019-05-071-2/+2
* Move main datatypes into their own modulesNadrieril2019-05-061-0/+295
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 13:10:12 +0000