syntaxAlchemist/lib-laddertypes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

unification: remove unreachable pattern

Browse source
This commit is contained in:
Michael Sippel 2025-02-08 17:05:33 +01:00
parent 3c5d7111bc
commit e53edd23b9
Signed by: senvas
GPG key ID: F96CF119C34B64A6
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/unification.rs
View file

@ -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})
}
}