Commit dafb2a45 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl

Merge remote-tracking branch 'origin/master' into itask

parents d75638e7 2497e35e
......@@ -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