This refactors some of the instruction typing rules by defining a separate subtyping rule on instruction types and a corresponding subsumption rule, instead of special-casing it in various rules.
Simplifies the some rules and allows a standard formulation of the principal types property.
This refactors some of the instruction typing rules by defining a separate subtyping rule on instruction types and a corresponding subsumption rule, instead of special-casing it in various rules.
Simplifies the some rules and allows a standard formulation of the principal types property.
@conrad-watt, PTAL.