aboutsummaryrefslogtreecommitdiff
path: root/src/type/display.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/type/display.rs')
-rw-r--r--src/type/display.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/type/display.rs b/src/type/display.rs
index 290e24e..56b22b6 100644
--- a/src/type/display.rs
+++ b/src/type/display.rs
@@ -122,6 +122,7 @@ impl fmt::Display for TypeError {
letexp
)
},
+ DifferentTypeCaseArms(ty1, ty2) => write!(f, "arms of match have different types, '{ty1}' and '{ty2}'"),
FunAsAtom => write!(f, "'fn' used as atom doesn't make sense"),
CaseAsAtom => write!(f, "'case' used as atom doesn't make sense"),
RestAsAtom => write!(f, "'..[name]' used as atom doesn't make sense"),