Changes between Version 308 and Version 309 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 7, 2008 3:50:49 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v308 v309  
    3131 
    3232'''Debugging of type families:''' 
    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. 
     33 0. Total families 
    3434 0. Allow repeated variable occurrences in lhses of type instances (see paper). 
    3535 0. Replacing GADT refinements by explicit equality constraints: