Changes between Version 39 and Version 40 of Status/May13


Ignore:
Timestamp:
May 2, 2013 4:52:17 PM (2 years 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