[GHC] #16346: Lint error on master: Occurrence is GlobalId, but binding is LocalId

20 Feb 2019


      #16346: Lint error on master: Occurrence is GlobalId, but binding is LocalId
-------------------------------------+-------------------------------------
           Reporter:  simonpj        |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.6.3
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 I'm getting this Lint error when validating 'master', when compiling
 `PrelNames.hs` with the stage1 compiler.
 {{{
 *** Core Lint errors : in result of Simplifier ***
 <no location info>: warning:
     In the expression: Name
                          (External modu_a3Ct) (OccName dt_X6Ya dt_X6Yc)
 dt2_a6Yf noSrcSpan
     Occurrence is GlobalId, but binding is LocalId
       noSrcSpan :: SrcSpan
       [GblId,
        Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
                WorkFree=True, Expandable=False, Guidance=IF_ARGS [] 10 0}]
 }}}
 How come this got past CI?

-- 
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16346
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler