Changes between Version 26 and Version 27 of NewAxioms


Ignore:
Timestamp:
Aug 23, 2013 8:13:52 AM (2 years 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.