#3691: Error message doesn't mention necessary extension in warning
------------------------------------------------+---------------------------
Reporter: arsenm | Owner:
Type: feature request | Status: reopened
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.4
Resolution: | Keywords:
Difficulty: | Os:
Unknown/Multiple
Testcase: | Architecture:
Unknown/Multiple
Failure: Incorrect warning at compile-time |
------------------------------------------------+---------------------------
Changes (by isaacdupree):
* status: closed => reopened
* type: bug => feature request
* resolution: invalid =>
Comment:
Simon, I think that would be valuable
1) because people might turn on ScopedTypeVariables for some other reason
(it's not such a wild extension) and then get confused at the type error
2) because when reading code, it's hard enough to figure out how all the
type-variable scoping works -- and twice as hard when you need to
understand two different rules that might be in effect.
do others agree?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3691#comment:4>
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
