diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-08-25 20:44:01 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-08-26 10:43:13 -0400 |
| commit | 770100e0266750a313b34a52a60968410fcf0769 (patch) | |
| tree | 750d2ff949a65b8483f9ba4840aad9378ca17920 /utils/genprimopcode/Syntax.hs | |
| parent | fcb10b6c69e388d8c6e777baf39920e2cc694501 (diff) | |
| download | haskell-770100e0266750a313b34a52a60968410fcf0769.tar.gz | |
primops: Remove Monadic and Dyadic categories
There were four categories of primops: Monadic, Dyadic, Compare, GenPrimOp.
The compiler does not treat Monadic and Dyadic in any special way,
we can just replace them with GenPrimOp.
Compare is still used in isComparisonPrimOp.
Diffstat (limited to 'utils/genprimopcode/Syntax.hs')
| -rw-r--r-- | utils/genprimopcode/Syntax.hs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/utils/genprimopcode/Syntax.hs b/utils/genprimopcode/Syntax.hs index 4dc6e7b2dc..3f1f3ef7dc 100644 --- a/utils/genprimopcode/Syntax.hs +++ b/utils/genprimopcode/Syntax.hs @@ -65,7 +65,7 @@ data Option -- categorises primops data Category - = Dyadic | Monadic | Compare | GenPrimOp + = Compare | GenPrimOp deriving Show -- types @@ -155,10 +155,6 @@ sanityPrimOp def_names p sane_ty :: Category -> Ty -> Bool sane_ty Compare (TyF t1 (TyF t2 td)) | t1 == t2 && td == TyApp (TyCon "Int#") [] = True -sane_ty Monadic (TyF t1 td) - | t1 == td = True -sane_ty Dyadic (TyF t1 (TyF t2 td)) - | t1 == td && t2 == td = True sane_ty GenPrimOp _ = True sane_ty _ _ |