Added Machine as module level

1 files changed, 0 insertions, 27 deletions

diff --git a/ABC/Program.icl b/ABC/Program.icl
deleted file mode 100644
index 28416bb..0000000
--- a/ABC/Program.icl
+++ /dev/null
@@ -1,27 +0,0 @@
-implementation module ABC.Program
-
-import StdEnv
-
-import ABC.Machine
-import ABC.Misc
-
-pc_init :: InstrId
-pc_init = 0
-
-pc_next :: InstrId -> InstrId
-pc_next i = i + 1
-
-pc_halt :: InstrId -> InstrId
-pc_halt _ = -1
-
-pc_end  :: InstrId -> Bool
-pc_end i = i < 0
-
-:: Location     =   I Instruction
-:: ProgramStore :== {Location}
-
-ps_get  :: InstrId ProgramStore -> Instruction
-ps_get n p = let (I i) = p.[n] in i
-
-ps_init :: [Instruction] -> ProgramStore
-ps_init is = {I i \\ i <- is}