#2187: Top-level bindings are broken for polymorphic values
----------------------+-----------------------------------------------------
Reporter: yallop | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.10 branch
Component: Compiler | Version: 6.8.2
Severity: major | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
----------------------+-----------------------------------------------------
Comment (by simonmar):
Linking to the Haskell' page with the motivation for this change:
[http://hackage.haskell.org/cgi-bin/haskell-
prime/trac.cgi/wiki/MonomorphicPatternBindings]
As for whether it makes the implementation simpler, I presume the
intention was to deprecate and eventually remove `-XNoMonoPatBinds` at
which point the complexities to deal with polymorphic pattern bindings
would go away. (however we can't do that while we still want to support
Haskell 98, of course). I'm going to follow up on this with the Haskell'
committee.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2187#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
