Changes between Version 8 and Version 9 of DeferErrorsToRuntime


Ignore:
Timestamp:
Dec 21, 2011 11:21:03 AM (4 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