Changes between Version 281 and Version 282 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 7, 2007 7:11:26 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v281 v282  
    3838   GADT4(normal) 
    3939   GADT5(normal) 
     40   InstEqContext2(normal) 
    4041Unexpected failures: 
    4142   GADT3(normal) -- ok, just tickles a known bug