From 6084502fd84a6f427429966456a97c14691fc10d Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 4 Jan 2021 20:25:07 +0100
Subject: Make up to date

---
 ABC/Machine/IO.icl | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'ABC/Machine/IO.icl')

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