Changes between Version 1 and Version 2 of ClosedTypeFamilies


Ignore:
Timestamp:
Oct 16, 2008 10:46:37 AM (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ClosedTypeFamilies

    v1 v2  
    11= Closed Type Synonym Families =
    22
    3 Currently thinking about adding Closed Type Synonym Families to GHC.  Currently WIP.
    4 
    5 {{{
    6 type family Foo a b c where
    7   Foo..
    8 }}}
    9 
    10 Overlapping is allowed here, as we can take the rewrites in top-bottom order
     3See TotalFamilies