diff options
Diffstat (limited to 'src/type/subst.rs')
| -rw-r--r-- | src/type/subst.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type/subst.rs b/src/type/subst.rs index 18c9926..fd45005 100644 --- a/src/type/subst.rs +++ b/src/type/subst.rs @@ -27,6 +27,8 @@ impl Type { Arrow(a, b) => arr((*a).subst(name, value), (*b).subst(name, value)), + SumType(a, b) => sumtype((*a).subst(name, value), (*b).subst(name, value)), + List(v) => List( v.into_iter() .map(|t| t.subst(name, value)) |