Changes between Version 24 and Version 25 of NewAxioms


Ignore:
Timestamp:
Jun 24, 2013 9:04:30 AM (10 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms

    v24 v25  
    6666 * Patterns within a single closed declaration may overlap, and are matched top to bottom. 
    6767 
    68  * Open type families are unchanged. 
     68 * Open type families are unchanged, except that a certain corner case of instances with a non-trivial overlap is disallowed. See [wiki:NewAxioms/Nonlinearity here]. I (Richard) do not expect this change to break much code. 
    6969 
    7070 * A closed family does not need to be exhaustive. If there is no equation that matches, the call is stuck. (This is exactly as at present.)