#9196: Higher-rank constraint treated as type instead -------------------------------------+------------------------------------ Reporter: goldfire | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"9c621e9b1c7d8a02b48f06f041da605ce27f4d80/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="9c621e9b1c7d8a02b48f06f041da605ce27f4d80" Reject forall types in constraints in signatures Fixes Trac #9196. Thanks to archblob for an initial stab at this. In the end I fixed it in the kind checker rather than the subsequent validity check, (a) so that the error messages look more uniform, and (b) so that I did not need to meddle with isPredTy. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9196#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler