Added where type for instream and outstream

br0ns · Jan 8, 2011 · 9866e5c · 9866e5c
1 parent bfa0f8a
commit 9866e5c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Extensions/TextIO.sig b/Extensions/TextIO.sig
@@ -1,6 +1,8 @@
 signature TextIO =
 sig
-  include TEXT_IO
+  include TEXT_IO 
+  where type instream = TextIO.instream
+  and type outstream  = TextIO.outstream
 
   val println : string -> unit
   val readFile : string -> string