summaryrefslogtreecommitdiff
path: root/dhall/src/traits (follow)
Commit message (Expand)AuthorAgeFilesLines
* Remove type parameter from TypeErrorNadrieril2019-04-111-6/+6
* Respect import boundariesNadrieril2019-04-111-1/+1
* Abstract get_type() into a traitNadrieril2019-04-112-0/+58
* Handle untyped case differently from the type of SortNadrieril2019-04-111-1/+1
* Add basic deserialization supportNadrieril2019-04-112-1/+25
* Allow providing type for typechecking in APINadrieril2019-04-101-2/+5
* Cleanup error handlingNadrieril2019-04-101-3/+3
* Split traits module into submodulesNadrieril2019-04-103-0/+151