Changes between Version 319 and Version 320 of TypeFunctionsStatus


Ignore:
Timestamp:
Jun 3, 2008 7:54:09 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v319 v320  
    4040'''Debugging of type families:'''
    4141 0. Total families
    42  0. Follow up on [http://www.mail-archive.com/[email protected]/msg39821.html]
     42 0. Follow up on [http://www.haskell.org/pipermail/haskell-cafe/2008-April/041385.html]
    4343 0. Allow repeated variable occurrences in lhses of type instances (see paper).
    4444 0. Replacing GADT refinements by explicit equality constraints: