#6018: Injective type families -------------------------------------+------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Resolution: | Injective Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4259 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by danilo2): @jstolarek: Yes, I've got an example here - by the way, I would be very thankful if you look at it, because I'm scratching my head against it for over two days now and cannot solve it in any way. But this problem is very specific one - you can read detailed description and solutions attemps here: http://stackoverflow.com/questions/25854072/injective-type-families- in-haskell -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/6018#comment:65 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler