From e111b95ab6af7cf4c3defa999b12fa40777c701e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 3 Apr 2010 15:20:10 +0000
Subject: 	* interp/sys-utility.boot ($ClosedIOMode): New. 	*
 algebra/files.spad.pamphlet (closed$IOMode): Likewise.

---
 src/algebra/files.spad.pamphlet | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

(limited to 'src/algebra/files.spad.pamphlet')

diff --git a/src/algebra/files.spad.pamphlet b/src/algebra/files.spad.pamphlet
index cb85893b..95d45b31 100644
--- a/src/algebra/files.spad.pamphlet
+++ b/src/algebra/files.spad.pamphlet
@@ -26,19 +26,23 @@
 IOMode(): Public == Private where
   Public == SetCategory with
     input: %
-      ++ `input' indicates that an IO conduit is for input.
+      ++ \spad{input} indicates that an IO conduit is for input.
     output: %
-      ++ `output' indicates that an IO conduit is for output
+      ++ \spad{output} indicates that an IO conduit is for output
     bothWays: %
-      ++ `bothWays' indicates that an IO conduit is for both input and output.
+      ++ \spad{bothWays} indicates that an IO conduit is for both input and output.
+    closed: %
+      ++ \spad{closed} indicates that the IO conduit has been closed.
   Private == add
-    input == _$InputIOMode$Lisp
-    output == _$OutputIOMode$Lisp
-    bothWays == _$BothWaysIOmode$Lisp
-    x = y == EQ(x,y)$Lisp
+    input == _$InputIOMode$Foreign(Builtin)
+    output == _$OutputIOMode$Foreign(Builtin)
+    bothWays == _$BothWaysIOMode$Foreign(Builtin)
+    closed == _$ClosedIOMode$Foreign(Builtin)
+    x = y == EQ(x,y)$Foreign(Builtin)
     coerce m ==
       m = input => outputForm 'input
       m = output => outputForm 'output
+      m = closed => outputForm 'closed
       outputForm 'bothWays
     
 @
-- 
cgit v1.2.3