#4310: Deferred equalities and forall types
---------------------------------+------------------------------------------
Reporter: simonpj | Owner: simonpj
Type: bug | Status: new
Priority: normal | Milestone: 7.4.1
Component: Compiler | Version: 6.12.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonpj):
A related post to ghc-users:
{{{
From: Stefan Holdermans [mailto:ste...@vectorfabrics.com]
Sent: 21 June 2011 10:51
Subject: Type function under a forall type
Simon, Tom,
I hit this type-error message in GHC 7.0.3:
Cannot deal with a type function under a forall type:
forall e. El e u
Is there a fundamental reason why type functions under a forall type are a
bad idea? Of is it just something that hasn't been implemented/thought
about yet?
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4310#comment:2>
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
