#5375: Regression in newName
---------------------------------+------------------------------------------
Reporter: reinerp | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Template Haskell | Version: 7.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
---------------------------------+------------------------------------------
Comment(by reinerp):
Hmm, that doesn't seem to work. Here's an example I didn't think of
before:
{{{
f = $( [| \x -> $( LamE [VarP (mkName "x")] (VarE 'x) ) |] )
}}}
In this case, we would like to produce:
{{{
f = \x' -> \x -> x'
}}}
But with my suggestion, this wouldn't be possible: under my suggestion,
the only possible desugaring of the {{{'x}}} would be {{{mkName "x"}}},
which is not what we want. I have to think some more about this.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5375#comment:3>
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
