Moved to directory, added test program

1 files changed, 30 insertions, 0 deletions

diff --git a/ABC/IO.icl b/ABC/IO.icl
new file mode 100644
index 0000000..a7cda49
--- /dev/null
+++ b/ABC/IO.icl
@@ -0,0 +1,30 @@
+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}
+		= "output  : " <+ io <+ "\n" <+
+		  "pc      : " <+ pc <+ "\n" <+
+		  "A-stack : " <+ astack <+ "\n" <+
+		  "B-stack : " <+ bstack <+ "\n" <+
+		  "C-stack : " <+ cstack <+ "\n" <+
+		  "Graph   :\n" <+ show_graphstore graphstore descstore