diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-04-15 18:09:39 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-04-20 11:50:04 -0400 |
| commit | a5ea65c981a70454dc56719f8566efa7ee184d3f (patch) | |
| tree | 1f112a4cb990b8a498847d398129127c545ba928 /compiler/GHC/Builtin | |
| parent | 83c67f766be615d4db6f71f8af0cbb9b4c4917bb (diff) | |
| download | haskell-a5ea65c981a70454dc56719f8566efa7ee184d3f.tar.gz | |
Remove LevityInfo
Every Id was storing a boolean whether it could be levity-polymorphic.
This information is no longer needed since representation-checking
has been moved to the typechecker.
Diffstat (limited to 'compiler/GHC/Builtin')
| -rw-r--r-- | compiler/GHC/Builtin/PrimOps/Ids.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/GHC/Builtin/PrimOps/Ids.hs b/compiler/GHC/Builtin/PrimOps/Ids.hs index cf6f846f77..9c6984a018 100644 --- a/compiler/GHC/Builtin/PrimOps/Ids.hs +++ b/compiler/GHC/Builtin/PrimOps/Ids.hs @@ -51,7 +51,6 @@ mkPrimOpId prim_op `setDmdSigInfo` strict_sig `setCprSigInfo` mkCprSig arity cpr `setInlinePragInfo` neverInlinePragma - `setLevityInfoWithType` res_ty -- We give PrimOps a NOINLINE pragma so that we don't -- get silly warnings from Desugar.dsRule (the inline_shadows_rule -- test) about a RULE conflicting with a possible inlining |