Changes between Version 26 and Version 27 of NewAxioms


Ignore:
Timestamp:
Aug 23, 2013 8:13:52 AM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v26 v27  
    1 = Pattern-matching axioms = 
     1= Closed type families with overlapping equations = 
    22 
    33This page describes an extension to type families that supports overlap. 
     
    77 * See also the ''' [wiki:NewAxioms/TemplateHaskell Template Haskell] ''' page (added December 2012) for a proposal for the Template Haskell changes necessary to support this change. 
    88 * See also the ''' [wiki:NewAxioms/Nonlinearity Non-linearity] ''' and ''' [wiki:NewAxioms/ClosedTypeFamilies Closed Type Families] ''' pages (added May 2013) for discussion and a proposal around type unsoundness that can be caused by repeated variables on the left-hand side of an instance. The proposal on that page will likely be implemented and will then be copied here. 
     9 
     10See also  
     11 * #8155 
     12 * [http://www.haskell.org/pipermail/glasgow-haskell-users/2013-August/022712.html Email thread] on overlap restrictions for open families 
     13 
    914 
    1015Status (Jan 12): the groundwork is done, in HEAD; mainly making `CoAxiom` a more fundamental data type.  Not yet started on the details.