diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-04-15 18:09:39 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-04-16 01:17:09 +0200 |
| commit | ac36a4f94383c025dac58f9be4d5c29de01a6c9a (patch) | |
| tree | 7dbf90248f6d6a155d7f9f3065b70268f8408963 /compiler/GHC/IfaceToCore.hs | |
| parent | 426ec4461c1723a8fe4be97404c7e6c10a10cee5 (diff) | |
| download | haskell-wip/no-levityinfo.tar.gz | |
Remove LevityInfowip/no-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/IfaceToCore.hs')
| -rw-r--r-- | compiler/GHC/IfaceToCore.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/GHC/IfaceToCore.hs b/compiler/GHC/IfaceToCore.hs index a248cbf767..407f7b1980 100644 --- a/compiler/GHC/IfaceToCore.hs +++ b/compiler/GHC/IfaceToCore.hs @@ -1662,7 +1662,6 @@ tcIdInfo ignore_prags toplvl name ty info = do tcPrag info (HsDmdSig str) = return (info `setDmdSigInfo` str) tcPrag info (HsCprSig cpr) = return (info `setCprSigInfo` cpr) tcPrag info (HsInline prag) = return (info `setInlinePragInfo` prag) - tcPrag info HsLevity = return (info `setNeverRepPoly` ty) tcPrag info (HsLFInfo lf_info) = do lf_info <- tcLFInfo lf_info return (info `setLFInfo` lf_info) |