#10506: SourceNotes are not applied to all identifiers -------------------------------------+------------------------------------- Reporter: gridaphobe | Owner: Type: bug | Status: patch Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1565 Wiki Page: | -------------------------------------+------------------------------------- Comment (by gridaphobe): It turns out the patch I attached doesn't actually work for my purposes (I think I had only tested it with `-ddump-ticked` instead of building LiquidHaskell against it). There's a brief discussion of why on Phab (https://phabricator.haskell.org/D1565#inline-13012). I can work around this by moving `simpleOptPgm` to a first Core2Core pass, thus exposing the fully unoptimized Core to API users and Plugins. But that's a much more invasive change, and could break existing API users and Plugins. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10506#comment:21 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler