[GHC] #4877: Template Haskell panic when splicing an infix expression with a non-variable middle bit

[GHC]

#4877: Template Haskell panic when splicing an infix expression with a non-
variable middle bit
---------------------------------+------------------------------------------
    Reporter:  benmachine        |        Owner:  simonpj           
        Type:  bug               |       Status:  merge             
    Priority:  normal            |    Milestone:  7.0.3             
   Component:  Template Haskell  |      Version:  7.0.1             
    Keywords:                    |     Testcase:                    
   Blockedby:                    |   Difficulty:                    
          Os:  Unknown/Multiple  |     Blocking:                    
Architecture:  Unknown/Multiple  |      Failure:  Compile-time crash
---------------------------------+------------------------------------------
Changes (by simonpj):

  * status:  new => merge


Comment:

 This shouldn't crash, I agree.  This fixes it
 {{{
 Wed Jan 12 17:07:19 GMT 2011  simonpj at microsoft.com
   * Produce an error message, not a crash, for HsOpApp with non-var
 operator

   Fixes Trac #4877.

     M ./compiler/rename/RnExpr.lhs -2 +6
 }}}
 But you're right that `TH.Syntax` should really only allow a variable
 there. I'll add it to the list on
 [http://hackage.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal
 Template Haskell Proposal]

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