Changes between Version 318 and Version 319 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v318 v319  
    4040'''Debugging of type families:''' 
    4141 0. Total families 
     42 0. Follow up on [http://www.mail-archive.com/haskell-cafe@haskell.org/msg39821.html] 
    4243 0. Allow repeated variable occurrences in lhses of type instances (see paper). 
    4344 0. Replacing GADT refinements by explicit equality constraints: