#7402: Warn about possible missing -XScopedTypeVariables on errors.
-------------------------------+--------------------------------------------
Reporter: Aninhumer | Owner:
Type: feature request | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.1
Resolution: fixed | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Comment(by simonpj):
Actually I was mixed up. The ambiguity fix would reject this instance, but
the original question was about scoped type variables. The trouble is
that this is a perfectly legal program ''without'' scoped type variables,
with the 'n' meaning "forall n. n". I'm not sure how to improve this.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7402#comment:2>
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
