projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix the type sanity test in genprimopcode's Syntax.hs
[ghc-hetmet.git]
/
utils
/
genprimopcode
/
Syntax.hs
diff --git
a/utils/genprimopcode/Syntax.hs
b/utils/genprimopcode/Syntax.hs
index
64e7875
..
8094670
100644
(file)
--- 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
| 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 _ _
sane_ty GenPrimOp _
= True
sane_ty _ _