Changes between Version 8 and Version 9 of DeferErrorsToRuntime


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

--

Legend:

Unmodified
Added
Removed
Modified
  • DeferErrorsToRuntime

    v8 v9  
    2020 
    2121Since we treat type equalities as evidence, this is relatively simple. Whenever 
    22 we run into a type mismatch in TcUnify, we would normally just emit an error. But it 
     22we run into a type mismatch in `TcUnify`, we would normally just emit an error. But it 
    2323is always safe to defer the mismatch to the main constraint solver. If we do 
    2424that, `a` will get transformed into