Added implicit casting

Added support for implicit casting to the bi-directional type
checker. The casts can be any user-specified function, and in princple
don't have to be hardcoded. This allows us to typecheck definitions such as

function bit[64] rGPR idx = {
         if idx == 0 then 0 else GPR[idx]
}

in the MIPS spec, which involves lots of casting from integers to
bitvectors, as well as casting from a named register to it's value
(implicit dereferencing).

0 files changed, 0 insertions, 0 deletions