#14779: Compiling with -g fails -lint-core checks -------------------------------------+------------------------------------- Reporter: niteria | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.4.2 Component: Compiler | Version: 8.3 (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): Relying on correctness with CSE seems a bit brittle though. If I `-fno- cse` I'm back to the original problem. That leads me to believe that 2 things need to happen: 1. CoreLint (and probably CoreToSTG) needs to accept Core like above. 2. CSE should fix it. Alternatively we could figure out how it happens and never let it happen. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14779#comment:20 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler