#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