[GHC] #6018: Injective type families

[GHC]

#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