[Git][ghc/ghc][wip/T20155] Core Lint: Allow global binders when wired-in

[Ben Gamari (@bgamari)]

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


Commits:
45def1c4 by Ben Gamari at 2022-09-06T08:43:38-04:00
Core Lint: Allow global binders when wired-in

- - - - -


1 changed file:

- compiler/GHC/Core/Lint.hs


Changes:

=====================================
compiler/GHC/Core/Lint.hs
=====================================
@@ -1630,7 +1630,7 @@ lintIdBndr :: TopLevelFlag -> BindingSite
 lintIdBndr top_lvl bind_site id thing_inside
   = assertPpr (isId id) (ppr id) $
     do { flags <- getLintFlags
-       ; checkL (not (lf_check_global_ids flags) || isLocalId id)
+       ; checkL (not (lf_check_global_ids flags) || isLocalId id || isWiredIn id)
                 (text "Non-local Id binder" <+> ppr id)
                 -- See Note [Checking for global Ids]
 



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/45def1c4cd79ff649d637e16b823d01e59f77490
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/20220914/3da16699/attachment.html>