#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): #8472, #14406 | Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I think this is something to do with GHC's rules about top-level bindings. There's a special case for {{{ x :: Addr# x = "flbha"# }}} which is allowed. But here we have {{{ str_s2UI = srcData.Fixed.hs:78:31-39 "MkFixed"# }}} One of two things should be true: * That is bad, and we should not allow it. In which case whichever code is generating it needs to be fixed. * That is ok, and Lint should accept it. I'm not sure which, because I'm not sure of the semantics of `src<blah>` ticks. (A long-standing issue.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14779#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler