Changes between Version 149 and Version 150 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/20/07 20:34:36 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v149 v150  
    115115 * tcfail153: VALID. Related to Simple5a in that a match against a rigid type variable gets reported as an equality context that could not be deduced. 
    116116 * while: VALID. Works if definition of `succeed` gets a type signature `Monad m => a -> m a`.  The error seems to be due to the new GADT rules about annotations, but the error message is a bit strange; ie, need to be improved. 
     117 
     118Summary of ''critical'' problems: 
     119 0. Panic in case of ambiguous type variables (break001, break006, and print019). 
     120 0. Problem instantiating rank-2/impredicative types (tc210 & tc211).