Changes between Version 39 and Version 40 of Status/May13


Ignore:
Timestamp:
May 2, 2013 4:52:17 PM (12 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May13

    v39 v40  
    4747 
    4848  * '''Ordered overlapping type family instances.''' Richard Eisenberg has implemented support for ordered overlapping type family instances, called ''branched'' instances. This allows type-level functions to use patterns in a similar way to term-level functions. For example: 
    49  
    5049{{{ 
    5150type family Equals (x :: *) (y :: *) :: Bool 
     
    5453  Equals x y = False 
    5554}}} 
    56  
    5755  Details can be found in the wiki page [OTF]. 
    5856