Changes between Version 281 and Version 282 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 7, 2007 7:11:26 AM (8 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