[GHC] #15730: SCC/HPC/CORE annotation can change the meaning of an expression

GHC ghc-devs at haskell.org
Tue Oct 9 20:14:44 UTC 2018


#15730: SCC/HPC/CORE annotation can change the meaning of an expression
-------------------------------------+-------------------------------------
        Reporter:  int-index         |                Owner:  (none)
            Type:  bug               |               Status:  patch
        Priority:  high              |            Milestone:
       Component:  Compiler          |              Version:  8.6.1
  (Parser)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Incorrect result  |  Unknown/Multiple
  at runtime                         |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D5218
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by int-index):

 > In short, this is not a bug, you just need to know that annotations have
 lower precedence that everything else.

 Adding an annotation should not change the parse tree in any way other
 than adding an annotation to a node. I am firm in this expectation.

 "You just have to know there's a bug" is still a bug.

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


More information about the ghc-tickets mailing list