[Git][ghc/ghc][wip/andreask/rules-omit-fix] Fix #22048 where we failed to drop rules for -fomit-interface-pragmas.

[Andreas Klebinger (@AndreasK)]

Andreas Klebinger pushed to branch wip/andreask/rules-omit-fix at Glasgow Haskell Compiler / GHC


Commits:
f6e4a197 by Andreas Klebinger at 2022-08-15T12:25:05+02:00
Fix #22048 where we failed to drop rules for -fomit-interface-pragmas.

Now we also filter the local rules (again) which fixes the issue.

- - - - -


3 changed files:

- compiler/GHC/Iface/Tidy.hs
- + testsuite/tests/driver/T22048.hs
- testsuite/tests/driver/all.T


Changes:

=====================================
compiler/GHC/Iface/Tidy.hs
=====================================
@@ -2,6 +2,7 @@
 {-# LANGUAGE DeriveFunctor #-}
 
 {-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}
+{-# OPTIONS_GHC -Wno-incomplete-uni-patterns -ddump-simpl -ddump-to-file -O2 #-}
 {-# LANGUAGE NamedFieldPuns #-}
 
 {-
@@ -1048,7 +1049,8 @@ findExternalRules opts binds imp_id_rules unfold_env
             -- In needed_fvs', we don't bother to delete binders from the fv set
 
          local_rules  = [ rule
-                        | id <- bndrs
+                        | (opt_expose_rules opts)
+                        , id <- bndrs
                         , is_external_id id   -- Only collect rules for external Ids
                         , rule <- idCoreRules id
                         , expose_rule rule ]  -- and ones that can fire in a client


=====================================
testsuite/tests/driver/T22048.hs
=====================================
@@ -0,0 +1,11 @@
+module T22048 where
+
+{-# NOINLINE g #-}
+g :: Bool -> Bool
+g = not
+
+-- With -fomit-interface-pragmas these rules should not make it into interface files.
+{-# RULES
+"imported_rule"    [~1] forall xs. map g xs              = []
+"local_rule"       [~1] forall .   g True                = False
+#-}


=====================================
testsuite/tests/driver/all.T
=====================================
@@ -311,3 +311,4 @@ test('T20569', extra_files(["T20569/"]), makefile_test, [])
 test('T21866', normal, multimod_compile, ['T21866','-no-link'])
 test('T21349', extra_files(['T21349']), makefile_test, [])
 test('T21869', [normal, when(unregisterised(), skip)], makefile_test, [])
+test('T22048', [grep_errmsg("_rule")], compile, ["-fomit-interface-pragmas -ddump-simpl"])



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f6e4a1976b53a9940ab2cc1790f1f7a14cc080c7

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f6e4a1976b53a9940ab2cc1790f1f7a14cc080c7
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20220815/9e37aa0e/attachment-0001.html>