Changes between Version 319 and Version 320 of TypeFunctionsStatus


Ignore:
Timestamp:
Jun 3, 2008 7:54:09 AM (6 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/haskell-cafe@haskell.org/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: