summaryrefslogtreecommitdiff
path: root/dhall/src/core/thunk.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Remove dhall::expr!() macroNadrieril2019-08-101-4/+0
| | | | It's a lot of hassle for not a lot of benefit
* 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-07 12:38:46 +0000