#2193: Monomorphic Pattern Bindings and Error Messages
---------------------------------+------------------------------------------
Reporter: sclv | Owner: igloo
Type: bug | Status: new
Priority: normal | Milestone: 6.10.2
Component: Compiler | Version: 6.8.2
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Changes (by simonpj):
* owner: => igloo
Comment:
The HEAD now correctly says
{{{
T2193.hs:9:0:
Illegal polymorphic or qualified type: forall s. s
Perhaps you intended to use -XImpredicativeTypes
In the type signature for `bar':
bar :: a -> Foo (forall s. s) a
}}}
If you add `-XImpredicativeTypes` then we indeed get the (silly) error
message described in the original bug report, but I'm not going to fiddle
with that now, because Dimitrios and I are (still) planning to rejig the
entire implementation of impredicative types.
So let's leave this open for that reason.
IAN: I hope 6.10.2 also reports the above `Illegal polymorphic...` error.
Can you check, and then bump the milestone to 6.12 and assign it to me?
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2193#comment:6>
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
