[GHC] #13044: make it possible to apply GHC rewrite rules to class methods

[GHC]

#13044: make it possible to apply GHC rewrite rules to class methods
-------------------------------------+-------------------------------------
        Reporter:  George            |                Owner:
            Type:  task              |               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:                    |
-------------------------------------+-------------------------------------
Description changed by bgamari:

@@ -5,3 +5,3 @@
- https://ghc.haskell.org/trac/ghc/ticket/11688, esp comment:7 which gives
- links to similar examples.  https://ghc.haskell.org/trac/ghc/ticket/10528
- comment:13  gives more background.
+ https://ghc.haskell.org/trac/ghc/ticket/11688, especially
+ ticket:11688#comment:7 which gives links to similar examples.
+ ticket:10528#comment:13 gives more background.

New description:

 Make it possible to apply GHC rewrite rules to class methods. As Conal
 wrote in a discussion on glasgow-haskell-users, it is too bad that we
 can't use class laws as optimizations in the form of rewrite rules. In
 that same thread Simon PJ referenced
 https://ghc.haskell.org/trac/ghc/ticket/11688, especially
 ticket:11688#comment:7 which gives links to similar examples.
 ticket:10528#comment:13 gives more background.

--

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