Make the locations for a continuation according to the proven type when
there is a type check and the policy is safe so that we can represent whetever type the value might be. This allows checking to be done at the DEST, rather than at uses (preventing spurious type errors.) Allow a T operand restriction to encompass any type. Change the test for determining whether template results are o.k. to be more easily replicated in IR2 conversion (when necessary.)
parent
96ae38ae
Branches issue-100-ldb-base-char-printing
No related tags found
Loading
Please register or sign in to comment