diff options
Diffstat (limited to 'ABC/Machine')
| -rw-r--r-- | ABC/Machine/IO.dcl | 2 | ||||
| -rw-r--r-- | ABC/Machine/IO.icl | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/ABC/Machine/IO.dcl b/ABC/Machine/IO.dcl index a9b1c5b..0e653df 100644 --- a/ABC/Machine/IO.dcl +++ b/ABC/Machine/IO.dcl @@ -6,7 +6,7 @@ from ABC.Machine.Nodes import ::Node from ABC.Machine.GraphStore import ::Desc from ABC.Machine.Def import ::State -:: IO (:== [Char]) +:: IO (=: IO [Char]) instance toString IO diff --git a/ABC/Machine/IO.icl b/ABC/Machine/IO.icl index aac5ba7..1169c6b 100644 --- a/ABC/Machine/IO.icl +++ b/ABC/Machine/IO.icl @@ -5,15 +5,15 @@ import StdEnv import ABC.Machine import ABC.Misc -:: IO :== [Char] +:: IO =: IO [Char] -instance toString IO where toString io = {c \\ c <- io} +instance toString IO where toString (IO io) = {c \\ c <- io} -io_init :: IO -io_init = [] +io_init :: IO +io_init = IO [] io_print :: a IO -> IO | toString a -io_print x io = io ++ fromString (toString x) +io_print x (IO io) = IO (io ++ fromString (toString x)) show_node :: Node Desc -> String show_node (Basic _ _ b) _ = toString b |