Changes between Version 306 and Version 307 of TypeFunctionsStatus


Ignore:
Timestamp:
Mar 31, 2008 5:48:43 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v306 v307  
    3131 
    3232'''Debugging of type families:''' 
    33  0. Allow overlapping instances disambiguated by textual order if they are in the same modul (maybe only when an extra flag is given).  Instances from differnt modules still need to have coinciding rhses if they overlap. 
     33 0. Allow toplevel equalities disambiguated by textual order by way of type instance ... where {} declarations.  Instances from different modules still need to have coinciding rhses if they overlap. 
     34 0. Allow repeated variable occurrences in lhses of type instances (see paper). 
    3435 0. Replacing GADT refinements by explicit equality constraints: 
    3536    * CLEANUP: