From 251ef22f2d2b84de5deb4bddc60c0dfb75be31df Mon Sep 17 00:00:00 2001 From: Ian Lynagh 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 64e7875..8094670 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 _ _ -- 1.7.10.4