#9632: Promotable type synonyms (or: synonyms to promoted types) -------------------------------------+------------------------------------- Reporter: jstolarek | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by goldfire): This is part of the solution to #7961, which I am actively working on. But don't hold your breath -- it won't be done for a few more months, and then I have to convince folks to merge my branch with significant changes in it. If someone else wants to address just this point on a shorter timeline, go ahead! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9632#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler