blob: e94db4c49cac6c9134f6ffeaf6817ae8f518292d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module Cpr001
(intpInstr) where
import Cpr001_imp
-- -------------------------------------------------------------------
intpInstr :: Instr -> MST ()
intpInstr (SysCall "exit")
= setMTerminated
intpInstr (SysCall call)
= setMSvc call
-- -------------------------------------------------------------------
|
