#1749: forall type gives "not polymorphic enough" error incorrectly
----------------------------------------+-----------------------------------
Reporter: guest | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.6.1
Severity: normal | Resolution: invalid
Keywords: | Difficulty: Unknown
Os: Windows | Testcase:
Architecture: x86 |
----------------------------------------+-----------------------------------
Comment (by sorear):
It's also to break compatibility - supporting scoped type variables is a
semantic change, so it has to be introduced with new syntax, in much the
same way that {{{int foo();}}} and {{{int foo(void);}}} are different in
C. Hopefully Haskell-prime will remove the need for this crutch.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1749#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
