#14245: Make ScopedTypedVariables be effective for any type signature -------------------------------------+------------------------------------- Reporter: jeltsch | Owner: (none) Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 8.2.1 checker) | Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => closed * resolution: => invalid Comment: I think this is a fine idea. It has a drawback in that it's not compatible with Haskell98 code, but perhaps that is not a deal-breaker. In any case, this kind of suggestion is perfect for the [https://github.com/ghc- proposals/ghc-proposals ghc-proposals] process, which I have found very valuable in understanding new ideas proposed for GHC (both as a proposer and as a reviewer of proposals). Feel free to copy and paste much of the text you have above, and don't worry so much about the fact that the proposal requires a "specification" -- your change is very simple to specify. In the meantime, I will close this ticket, as the community has settled on the ghc-proposals process as the official way to suggest user-facing changes to GHC. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14245#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler