aboutsummaryrefslogtreecommitdiff
path: root/src/type/mod.rs
diff options
context:
space:
mode:
authorJoel Kronqvist <joel.kronqvist@iki.fi>2025-08-13 01:20:19 +0300
committerJoel Kronqvist <joel.kronqvist@iki.fi>2025-08-13 01:20:19 +0300
commit189d06730ae23770fbb970bf37eb0993edb8cd2d (patch)
tree73048265c57176ba27d2b823e09ebe4c1c7328c1 /src/type/mod.rs
parentec13c45c8ae0f63fa715178308547cfadd8f8c39 (diff)
downloadmyslip-189d06730ae23770fbb970bf37eb0993edb8cd2d.tar.gz
myslip-189d06730ae23770fbb970bf37eb0993edb8cd2d.zip
feat: generic match arms, mostly for functions I guess?
Diffstat (limited to 'src/type/mod.rs')
-rw-r--r--src/type/mod.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type/mod.rs b/src/type/mod.rs
index e979595..06b73ac 100644
--- a/src/type/mod.rs
+++ b/src/type/mod.rs
@@ -79,6 +79,8 @@ pub enum TypeError {
NoWildcardInCase(SExp),
+ DifferentTypeCaseArms(Type, Type),
+
OtherError
}