#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.


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

Reply via email to