[GHC] #12178: Allow inline pragmas on pattern synonyms

[GHC]

#12178: Allow inline pragmas on pattern synonyms
-------------------------------------+-------------------------------------
           Reporter:  mpickering     |             Owner:
               Type:  feature        |            Status:  new
  request                            |
           Priority:  normal         |         Milestone:
          Component:  Compiler       |           Version:  8.0.1
           Keywords:                 |  Operating System:  Unknown/Multiple
  PatternSynonyms                    |
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Richard observes that it might be useful to allow inline pragmas to refer
 to pattern synonyms to ensure that
 the matcher is inlined.

 The main question to resolve is whether `{-# INLINE P #-}` means to inline
 just the matcher, just the builder
 or both. It seems that without more fine grained control then the pragma
 should cause both the matcher and builder to be inline but I am not
 certain about this.

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