Verified Commit 904a83d3 authored by Camil Staps's avatar Camil Staps

Fix == for TypeCons, fixing a bug where multiple alternatives of some generic...

Fix == for TypeCons, fixing a bug where multiple alternatives of some generic cases were not allowed
parent 5dca600b
......@@ -129,8 +129,10 @@ instance == SignClassification where
instance == TypeCons where
(==) (TypeConsSymb x) (TypeConsSymb y) = x == y
(==) (TypeConsBasic x) (TypeConsBasic y) = x == y
(==) (TypeConsUnboxedArray x) (TypeConsUnboxedArray y) = x == y
(==) TypeConsArrow TypeConsArrow = True
(==) (TypeConsVar x) (TypeConsVar y) = x == y
(==) (TypeConsQualifiedIdent xmod xname) (TypeConsQualifiedIdent ymod yname) = xmod == ymod && xname == yname
(==) _ _ = False
:: CompareValue :== Int
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment