From b3f1e3ff0404a5182b6eed2d88014b4b4fbd69c2 Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 1 Jul 2016 19:37:38 +0200 Subject: Moved to directory, added test program --- ABC/IO.icl | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 ABC/IO.icl (limited to 'ABC/IO.icl') 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 -- cgit v1.2.3