#4430: Better support for resolving infix expressions in template haskell
---------------------------------+------------------------------------------
    Reporter:  reinerp           |        Owner:  igloo       
        Type:  feature request   |       Status:  patch       
    Priority:  normal            |    Milestone:  7.4.1       
   Component:  Template Haskell  |      Version:  6.12.3      
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:              
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------

Comment(by reinerp):

 Ok, I agree that

 {{{
 InfixE Nothing plus (UInfixE 1 plus 2)   -----> (+ (1 + 2))
 }}}

 is the right thing to do. But we need a representation for {{{(+ 1 +
 2)}}}. I think we should use
 {{{
 data Exp =
 ...
   UInfixE (Maybe Exp) Exp (Maybe
 Exp)
 ...
 }}}

 Using {{{InfixE}}} just doesn't work.

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

_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to