#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 Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs