CVS: sml-dist/src/system/smlnj/init substring.sig,1.4,1.5 substring.sml,1.6,1.7

John Reppy <[email protected]>
Newsgroups gmane.comp.lang.sml.smlnj.commits
Message-ID <[email protected]>
Update of /cvsroot/smlnj/sml-dist/src/system/smlnj/init
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv28271/src/system/smlnj/init

Modified Files:
	substring.sig substring.sml 
Log Message:
  Remove Substring.all.


Index: substring.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/system/smlnj/init/substring.sig,v
retrieving revision 1.4
retrieving revision 1.5
diff -C2 -d -r1.4 -r1.5
*** substring.sig	15 Mar 2002 21:38:57 -0000	1.4
--- substring.sig	7 Nov 2005 18:17:09 -0000	1.5
***************
*** 22,26 ****
      val substring : (string * int * int) -> substring
      val full      : string -> substring
-     val all       : string -> substring
      val string    : substring -> string
  
--- 22,25 ----

Index: substring.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/system/smlnj/init/substring.sml,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** substring.sml	22 Mar 2002 03:18:24 -0000	1.6
--- substring.sml	7 Nov 2005 18:17:09 -0000	1.7
***************
*** 64,68 ****
        | extract (s, i, SOME n) = substring(s, i, n)
      fun full s = SS(s, 0, stringSize s)
-     val all = full 			(* deprecated *)
  
      fun isEmpty (SS(_, _, 0)) = true
--- 64,67 ----



-------------------------------------------------------
SF.Net email is sponsored by:
Tame your development challenges with Apache's Geronimo App Server. Download
it for free - -and be entered to win a 42" plasma tv or your very own
Sony(tm)PSP.  Click here to play: http://sourceforge.net/geronimo.php
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.