Changes between Version 299 and Version 300 of TypeFunctionsStatus


Ignore:
Timestamp:
Feb 28, 2008 3:18:35 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v299 v300  
    2828
    2929'''Debugging of type families:'''
    30  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.
     30 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.
    3131 0. Replacing GADT refinements by explicit equality constraints:
    3232    * CLEANUP: