Transfer Functions
One transfer function for each instruction
General form:
- match: insure top elements of the stack of referenced local variable has correct type.
- bind: bind type description to pattern variable (for dup and other polymorphic operations)
- update
- update stack
- generate typing assumptions