summaryrefslogtreecommitdiff
path: root/dhall/src/traits (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-11Remove type parameter from TypeErrorNadrieril1-6/+6
2019-04-11Respect import boundariesNadrieril1-1/+1
2019-04-11Abstract get_type() into a traitNadrieril2-0/+58
2019-04-11Handle untyped case differently from the type of SortNadrieril1-1/+1
2019-04-11Add basic deserialization supportNadrieril2-1/+25
2019-04-10Allow providing type for typechecking in APINadrieril1-2/+5
2019-04-10Cleanup error handlingNadrieril1-3/+3
2019-04-10Split traits module into submodulesNadrieril3-0/+151