[GHC] #14779: Compiling with -g fails -lint-core checks

[GHC]

#14779: Compiling with -g fails -lint-core checks
-------------------------------------+-------------------------------------
        Reporter:  niteria           |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:
  (Debugging)                        |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #14122, #14123,   |  Differential Rev(s):  phab:D4423
  #8472, #14406                      |
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by niteria):

 Sorry to be slow on this, I wanted to write a comprehensive response, but
 I kept going in loops.

 It boils down to this: I don't know what the invariant should be and don't
 know how to arrive at the solution. I also don't think there's much to be
 gained from changing it at this point. Any extra src ticks won't be used
 right away and not having ticks on all the primitive strings probably also
 doesn't affect the final output. My personal bias here would be to not
 throw away information.

 We already have a written invariant ("No top level ticked strings") which
 gets violated and a bug in a previous fix is what's causing the violation.
 phab:D4423 is meant to make the previous fix correct.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14779#comment:13>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler