diff options
Diffstat (limited to 'src/type/display.rs')
| -rw-r--r-- | src/type/display.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/type/display.rs b/src/type/display.rs index a2f4b58..99394df 100644 --- a/src/type/display.rs +++ b/src/type/display.rs @@ -35,6 +35,7 @@ impl fmt::Display for Type { TypeLit => write!(f, "Type"), VecOf(ty) => write!(f, "({} ...)", *ty), Arrow(a, b) => write!(f, "({} -> {})", a, b), + SumType(a,b)=> write!(f, "(Sum {} {})", a, b), List(types) => write!( f, "({})", |