summaryrefslogtreecommitdiff
path: root/dhall/src/traits
diff options
context:
space:
mode:
authorNadrieril2019-04-27 19:21:22 +0200
committerNadrieril2019-04-27 19:21:22 +0200
commitf2917ee07b8fbbe6a411dd057a0191b1e8ba5680 (patch)
tree9e5471dd88ed176a546d08ddcfb9ac3d412e2014 /dhall/src/traits
parent5b5d4b683b483b153f7e30c0b91270ed237f18c8 (diff)
Replace TypeInternal::UnionType with WHNF::UnionType
Diffstat (limited to 'dhall/src/traits')
0 files changed, 0 insertions, 0 deletions