[Git][ghc/ghc][wip/T16740] PrelRules: Ensure that string unpack/append rule fires with source notes

[Ben Gamari]

Ben Gamari pushed to branch wip/T16740 at Glasgow Haskell Compiler / GHC


Commits:
50c700f5 by Ben Gamari at 2019-06-04T04:45:10Z
PrelRules: Ensure that string unpack/append rule fires with source notes

Previously the precence of source notes could hide nested applications
of `unpackFoldrCString#` from our constant folding logic. This caused
the `str_rules` testcase to fail when `base` was built with `-g3`.

Fixes #16740.

- - - - -


1 changed file:

- compiler/prelude/PrelRules.hs


Changes:

=====================================
compiler/prelude/PrelRules.hs
=====================================
@@ -1368,20 +1368,24 @@ match_append_lit _ id_unf _
         [ Type ty1
         , lit1
         , c1
-        , Var unpk `App` Type ty2
-                   `App` lit2
-                   `App` c2
-                   `App` n
+        , e2
         ]
-  | unpk `hasKey` unpackCStringFoldrIdKey &&
-    c1 `cheapEqExpr` c2
+  | unpk `hasKey` unpackCStringFoldrIdKey
+  -- N.B. Ensure that we strip off any ticks (e.g. source notes) from the argument, lest
+  -- this may fail to fire when building with -g3. See #16740.
+  , (strTicks, Var unpk `App` Type ty2
+                        `App` lit2
+                        `App` c2
+                        `App` n) <- stripTicksTop tickishFloatable e2
+  , c1 `cheapEqExpr` c2
   , Just (LitString s1) <- exprIsLiteral_maybe id_unf lit1
   , Just (LitString s2) <- exprIsLiteral_maybe id_unf lit2
   = ASSERT( ty1 `eqType` ty2 )
-    Just (Var unpk `App` Type ty1
-                   `App` Lit (LitString (s1 `BS.append` s2))
-                   `App` c1
-                   `App` n)
+    Just $ mkTicks strTicks
+         $ Var unpk `App` Type ty1
+                    `App` Lit (LitString (s1 `BS.append` s2))
+                    `App` c1
+                    `App` n
 
 match_append_lit _ _ _ _ = Nothing
 



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/50c700f5b8830611664cb2f1946136f48ffe5112

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/50c700f5b8830611664cb2f1946136f48ffe5112
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/20190604/5f51431b/attachment-0001.html>