Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / testsuite / tests / gadt / Gadt17_help.hs
index e3b8e3a..5161fdc 100644 (file)
@@ -16,7 +16,6 @@ instance (Eq a) => Eq (TypeWitness a) where
   (==) TWBool    TWBool    = True
   (==) TWFloat   TWFloat   = True
   (==) TWDouble  TWDouble  = True
   (==) TWBool    TWBool    = True
   (==) TWFloat   TWFloat   = True
   (==) TWDouble  TWDouble  = True
-  (==) _         _         = False
 
 data TernOp a b c d where
   OpIf       ::                   TypeWitness a                    ->    TernOp Bool   a      a      a
 
 data TernOp a b c d where
   OpIf       ::                   TypeWitness a                    ->    TernOp Bool   a      a      a