Changes between Version 282 and Version 283 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 8, 2007 11:00:32 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v282 v283  
    5050   gadt21(normal)       -- OK!  (Just be a different error message.) 
    5151   lazypatok(normal)  -- Need to fix this, but low priority. 
    52    nbe(normal) 
    53    while(normal) 
    5452}}} 
    5553    * Handling of cases expression scrutinising GADTs: