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/IO.icl | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 ABC/IO.icl

(limited to 'ABC/IO.icl')

diff --git a/ABC/IO.icl b/ABC/IO.icl
deleted file mode 100644
index 0762ed2..0000000
--- a/ABC/IO.icl
+++ /dev/null
@@ -1,29 +0,0 @@
-implementation module ABC.IO
-
-import StdEnv
-
-import ABC.Machine
-import ABC.Misc
-
-:: IO :== [Char]
-
-instance toString IO where toString io = {c \\ c <- io}
-
-io_init  :: IO
-io_init = []
-
-io_print :: a IO -> IO | toString a
-io_print x io = io ++ fromString (toString x)
-
-show_node :: Node Desc -> String
-show_node (Basic _ _ b) _           = toString b
-show_node (Node _ _ _) (Desc _ _ n) = n
-
-instance toString State
-where
-	toString {astack,bstack,cstack,graphstore,descstore,pc,program,io}
-		= "pc      : " <+ pc <+ "\n" <+
-		  "A-stack : " <+ astack <+ "\n" <+
-		  "B-stack : " <+ bstack <+ "\n" <+
-		  "C-stack : " <+ cstack <+ "\n" <+
-		  "Graph   :\n" <+ show_graphstore graphstore descstore
-- 
cgit v1.2.3