summaryrefslogtreecommitdiff
path: root/dhall/src/api/traits/dynamic_type.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-05-09Rewrite the StaticType trait and everything around itNadrieril1-32/+0
2019-05-06Move api-related modules into an api moduleNadrieril1-0/+0
2019-05-06Consolidate errors in the error moduleNadrieril1-2/+2
2019-05-06Reorganize dhall into a phase structureNadrieril1-5/+2
2019-05-06Merge TypedInternal and TypedNadrieril1-1/+1
2019-05-04Remove dummy lifetimesNadrieril1-8/+8
2019-05-04Rename dhall_core to dhall_syntaxNadrieril1-1/+1
2019-05-02Instead of possibly nonexistent Type, treat Sort speciallyNadrieril1-20/+4
2019-04-29Don't need to store original expression in TypeErrorNadrieril1-11/+0
2019-04-23Silence warningsNadrieril1-0/+2
2019-04-22Temporarily simplify functions depending on TypeInternalNadrieril1-9/+12
2019-04-21Factor out context handlingNadrieril1-5/+6
2019-04-18Remove more duplicationNadrieril1-1/+1
2019-04-16Remove higher-kinded type noise in TypeNadrieril1-4/+4
2019-04-11Thread lifetimes through other newtypesNadrieril1-8/+8
2019-04-11Remove type parameter from TypeErrorNadrieril1-6/+6
2019-04-11Respect import boundariesNadrieril1-1/+1
2019-04-11Abstract get_type() into a traitNadrieril1-0/+56
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-08 14:52:07 +0000