diff options
| author | Ian Lynagh <igloo@earth.li> | 2010-11-17 16:30:31 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2010-11-17 16:30:31 +0000 |
| commit | 251ef22f2d2b84de5deb4bddc60c0dfb75be31df (patch) | |
| tree | 9e67b327c92bfe56359247cfd518d80f13a68cc6 /utils | |
| parent | d78bbf92ef95e687d7706f44acfce91cd39eea60 (diff) | |
| download | haskell-251ef22f2d2b84de5deb4bddc60c0dfb75be31df.tar.gz | |
Fix the type sanity test in genprimopcode's Syntax.hs2010-11-18
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.
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/genprimopcode/Syntax.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/genprimopcode/Syntax.hs b/utils/genprimopcode/Syntax.hs index 64e7875a40..809467020f 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 _ _ |