Changes between Version 294 and Version 295 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 17, 2008 9:22:41 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v294 v295  
    2727
    2828'''Debugging of type families:'''
     29 0. Allow overlapping instances disambiguated by textual order if they are in the same model (maybe only when an extra flag is given).  Instances from differnt modules still need to have coinciding rhses if they overlap.
    2930 0. Replacing GADT refinements by explicit equality constraints:
    3031    * Regressions that remain to be fixed: