summaryrefslogtreecommitdiff
path: root/dhall/src/phase/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* ExprF need not be generic in LabelNadrieril2019-05-091-2/+1
* Make shift fallible and improve shift ergonomicsNadrieril2019-05-091-2/+11
* Detect duplicate record fields in typecheckNadrieril2019-05-091-30/+33
* Update dhall-lang submoduleNadrieril2019-05-091-2/+14
* Typecheck record projectionNadrieril2019-05-081-7/+30
* Typecheck mergeNadrieril2019-05-081-12/+87
* Don't discard normalization work done by typecheckingNadrieril2019-05-071-52/+93
* Slight improvement to typecheck ergonomicsNadrieril2019-05-071-59/+28
* Unify typecheck and normalization contextsNadrieril2019-05-071-2/+2
* Promote shift and subst_shift to traitsNadrieril2019-05-071-0/+1
* Clean up some of the SubExpr type-changing methodsNadrieril2019-05-071-3/+3
* Unify Type, TypeInternal and TypedNadrieril2019-05-071-21/+7
* Move main datatypes into their own modulesNadrieril2019-05-061-208/+137
* Consolidate errors in the error moduleNadrieril2019-05-061-103/+11
* Reorganize dhall into a phase structureNadrieril2019-05-061-0/+1276
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 20:46:49 +0000