CVS: sml-dist/src/cm/util subst.sml,1.3,1.4

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

Modified Files:
	subst.sml 
Log Message:
  Remove Substring.all.


Index: subst.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/cm/util/subst.sml,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** subst.sml	15 Mar 2002 21:38:56 -0000	1.3
--- subst.sml	7 Nov 2005 18:17:09 -0000	1.4
***************
*** 44,48 ****
  	val rules =
  	    map (fn { prefix, substitutions } =>
! 		    { prefix = SS.all prefix, substitutions = substitutions })
  		rules
  	fun doit s = let
--- 44,48 ----
  	val rules =
  	    map (fn { prefix, substitutions } =>
! 		    { prefix = SS.full prefix, substitutions = substitutions })
  		rules
  	fun doit s = let
***************
*** 73,77 ****
  					     NONE => finddosubst sl
  					   | SOME r =>
! 					     loop (j, j, SS.all r :: acc)
  				     end
  			     in
--- 73,77 ----
  					     NONE => finddosubst sl
  					   | SOME r =>
! 					     loop (j, j, SS.full r :: acc)
  				     end
  			     in
***************
*** 91,95 ****
  
      fun subfor p r ss =
! 	if Substring.compare (Substring.all p, ss) = EQUAL then SOME r
  	else NONE
  
--- 91,95 ----
  
      fun subfor p r ss =
! 	if Substring.compare (Substring.full p, ss) = EQUAL then SOME r
  	else NONE
  



-------------------------------------------------------
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.