#3447: Class restrictions on type instances -------------------------------------+------------------------------------- Reporter: LysikovVV | Owner: Type: feature | Status: closed request | Milestone: ⊥ Priority: normal | Version: 6.10.4 Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => closed * resolution: => fixed Comment: The original poster claims that algebraic datakinds, available since 7.4, solves the original problem. Although Conor's comment:7 is still very relevant, I'm not sure what is served by keeping this ticket open. I'm planning to address the issues in comment:7 in my dependent types branch. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/3447#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler