Changes between Version 6 and Version 7 of DeferErrorsToRuntime


Ignore:
Timestamp:
Dec 21, 2011 11:10:40 AM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DeferErrorsToRuntime

    v6 v7  
    6363In particular, many tests from the testsuite need to have their output adapted. 
    6464 
     65== Kind errors == 
     66 
     67Currently we cannot defer kind errors because we do not create coercions for 
     68kind equalities. This might change in the near future, though, in which case 
     69we could use the same strategy to defer kind errors to runtime.