summaryrefslogtreecommitdiff
path: root/dhall/src/phase/typecheck.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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