Changes between Version 15 and Version 16 of Status/May13


Ignore:
Timestamp:
Apr 29, 2013 8:26:07 PM (2 years ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May13

    v15 v16  
    4444  * type level natural numbers ['''Iavor S. Diatchki''']
    4545
    46   * overlapping type families ['''Richard Eisenberg''']
     46  * '''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:
     47
     48{{{
     49type family Equals (x :: *) (y :: *) :: Bool
     50type instance where
     51  Equals x x = True
     52  Equals x y = False
     53}}}
     54
     55Details can be found in the wiki page [2].
    4756
    4857== Back end and code generation ==
     
    7382  * cross-compilation ['''Stephen Blackheath''']
    7483
    75 
    76 [1] The new codegen is nearly ready to go live [http://hackage.haskell.org/trac/ghc/blog/newcg-update] [[BR]]
     84[1] Overlapping type family instances:  http://hackage.haskell.org/trac/ghc/wiki/NewAxioms
     85[2] The new codegen is nearly ready to go live [http://hackage.haskell.org/trac/ghc/blog/newcg-update] [[BR]]