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