path: root/tests/iii/nominal-type-mismatch/program.cps

TYPE First = ^INTEGER
TYPE Second = ^INTEGER
DECLARE Value : INTEGER
DECLARE A : First
DECLARE B : Second
A <- ^Value
B <- A