| regtonum R10 = 10
| regtonum R11 = 11
| regtonum R12 = 12
- | regtonum SP = 4
- | regtonum _ = raise ErrorMsg.InternalError ("regtonum: Invalid register")
+ | regtonum FR = 13
+ | regtonum SP = 14
+ | regtonum PC = 15
(* gives reg associated with number (color) *)
fun numtoreg 0 = R0