Fix the type sanity test in genprimopcode's Syntax.hs

We assume this is what it's supposed to be checking. Certainly the old test (t2 == t2) can't be right. Spotted by Andres Loeh.
ghc · Nov 17, 2010 · 251ef22 · 251ef22
1 parent d78bbf9
commit 251ef22
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/utils/genprimopcode/Syntax.hs b/utils/genprimopcode/Syntax.hs
@@ -109,8 +109,8 @@ sane_ty Compare (TyF t1 (TyF t2 td))
    | t1 == t2 && td == TyApp "Bool" []  = True
 sane_ty Monadic (TyF t1 td) 
    | t1 == td  = True
-sane_ty Dyadic (TyF t1 (TyF t2 _))
-   | t1 == t2 && t2 == t2  = True
+sane_ty Dyadic (TyF t1 (TyF t2 td))
+   | t1 == td && t2 == td  = True
 sane_ty GenPrimOp _
    = True
 sane_ty _ _