Changes between Version 1 and Version 2 of ClosedTypeFamilies


Ignore:
Timestamp:
Oct 16, 2008 10:46:37 AM (6 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