[GHC] #12689: DataCon wrappers get in the way of rules

GHC ghc-devs at haskell.org
Tue Oct 11 20:52:06 UTC 2016


#12689: DataCon wrappers get in the way of rules
-------------------------------------+-------------------------------------
        Reporter:  nomeata           |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.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):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Joachim Breitner <mail@…>):

 In [changeset:"f8d2c205e04bcb83d39ccbede4c2a6279f702a6b/ghc"
 f8d2c205/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="f8d2c205e04bcb83d39ccbede4c2a6279f702a6b"
 Add a broken test case for #12689

 A rule with a phase specification trying to match on a constructor with
 a wrapper will fail to match, as the wrapper will be inlined by then.
 The fact that it works in the other case is also mostly by accident.
 (Split into two test cases so that regressions with regard what works so
 far are caught.)
 }}}

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


More information about the ghc-tickets mailing list