Changes between Version 19 and Version 20 of NewAxioms/Nonlinearity


Ignore:
Timestamp:
May 30, 2013 3:15:33 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/Nonlinearity

    v19 v20  
    4242  type instance F Int Bool = boo 
    4343}}} 
    44 These would be considered overlapping by (A), but accepted as non-overlapping (ie unification fails) by (B). 
     44These would be considered overlapping by (A), but accepted as non-overlapping (ie unification fails) by (B).  And indeed these two are fine (ie cannot give rise to unsoundness). 
    4545 
    4646== Problem: coincident overlap ==