From ceb0b74bd0b368124679378ebfb2cf316deb2e39 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 5 Jul 2016 17:25:10 +0200
Subject: Added Machine as module level

---
 ABC/Program.icl | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 ABC/Program.icl

(limited to 'ABC/Program.icl')

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}
-- 
cgit v1.2.3