From 251ef22f2d2b84de5deb4bddc60c0dfb75be31df Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Wed, 17 Nov 2010 16:30:31 +0000
Subject: [PATCH] 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.
---
utils/genprimopcode/Syntax.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/utils/genprimopcode/Syntax.hs b/utils/genprimopcode/Syntax.hs
index 64e7875a4011..809467020fa3 100644
--- 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 _ _
--
GitLab