#2523: Improve warnings for use of "forall" without -XExistentialQuantification
----------------------+-----------------------------------------------------
Reporter: dmhouse | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.8.3
Severity: minor | Resolution: fixed
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
----------------------+-----------------------------------------------------
Changes (by simonpj):
* status: new => closed
* difficulty: => Unknown
* resolution: => fixed
Comment:
Good idea.
{{{
Prelude> let foo :: forall a. a; foo = undefined
<interactive>:1:19:
Illegal operator `.' in type `forall a . a'
Perhaps you intended to use -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
Prelude>
}}}
Patch is this
{{{
Thu Aug 21 13:35:02 GMT Daylight Time 2008 [EMAIL PROTECTED]
* Improve error message when 'forall' is not a keyword
}}}
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2523#comment:1>
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
