From 389d9559cdaa967ecb5e30a5fb00178560b178af Mon Sep 17 00:00:00 2001
From: Michael Sippel <micha@fragmental.art>
Date: Sat, 8 Feb 2025 17:05:33 +0100
Subject: [PATCH] unification: remove unreachable pattern
---
src/unification.rs | 4 ----
1 file changed, 4 deletions(-)
diff --git a/src/unification.rs b/src/unification.rs
index abbc1fe..ac7ec19 100644
--- a/src/unification.rs
+++ b/src/unification.rs
@@ -67,10 +67,6 @@ impl UnificationProblem {
}
}
- (TypeTerm::Ladder(l1), TypeTerm::Ladder(l2)) => {
- Err(UnificationError{ addr, t1: lhs, t2: rhs })
- }
-
_ => Err(UnificationError{ addr, t1: lhs, t2: rhs})
}
}