blob: 0871205bb7af4c326fe255687e799023ec39796a (
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
-- -------------------------------------------------------------------
|
