#13524: GHC does not preserve order of forall'd vars with TypeApplications -------------------------------------+------------------------------------- Reporter: crockeea | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Resolution: | Keywords: | TypeApplications Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): My comment:4 says:
Perhaps even better, we could label variables in partial type signatures as "inferred", meaning that GHC will prevent them from being available for type application.
This was always meant to be a stopgap solution, in case the status quo is unacceptable for 8.2. I've already put this bug in my queue for my summer bug roundup. But I simply can't get to it in the next month. "Even better" is suggesting that reliable, explainable behavior is better than capricious behavior, but @crockeea's comment:6 disagrees with this suggestion. I certainly don't feel strongly. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13524#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler