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