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]]