#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 niteria): Hmm, I would have expected 7e96526ac2ef5987ecb03217d3d616b6281c1441 to fix it and #13371 to be related. But you tested with HEAD, so that's a bit odd. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13524#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler