#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 simonpj):
Actually, now I look at it, if you check `HsExpr.rnSection` you'll see
that (in `HsSyn`),
{{{
SectionR + (OpApp a + b)
}}}
is rejected (by `checkSectionPrec`). So, the representation for (+ 1 + 2)
can simply generate the above, as it will, and then GHC will reject it, as
it should.
In short, no need for `UInfixE`.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4430#comment:20>
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
