Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

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.
  • Loading branch information...
commit 251ef22f2d2b84de5deb4bddc60c0dfb75be31df 1 parent d78bbf9
@igfoo igfoo authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 utils/genprimopcode/Syntax.hs
View
4 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 _ _
Please sign in to comment.
Something went wrong with that request. Please try again.