#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, Injective Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #4259 None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Comment (by jstolarek): Simon, I just drafted [wiki:InjectiveTypeFamilies this wiki page]. I believe it gives a pretty good description of how the syntax will work, but it doesn't give too many details about the effects on type checking. Do you want this to be somehow formalized or would examples suffice? Do you feel that something else is missing on the wiki page?
Simple is good! Are you referring to anything particular or is this just a general reminder to follow the KISS principle?
-- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/6018#comment:39 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler