CVS: sml-dist/src/cm/bootstrap build-initdg.sml,1.35,1.36

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

Modified Files:
	build-initdg.sml 
Log Message:
improved error handling in CM

Index: build-initdg.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/cm/bootstrap/build-initdg.sml,v
retrieving revision 1.35
retrieving revision 1.36
diff -C2 -d -r1.35 -r1.36
*** build-initdg.sml	28 Sep 2004 03:08:33 -0000	1.35
--- build-initdg.sml	16 Dec 2005 06:13:13 -0000	1.36
***************
*** 91,105 ****
  				{ split = s, is_rts = rts, extra_compenv = xe,
  				  explicit_core_sym = ecs, noguid = false }
! 			    val i =
! 				SmlInfo.info' attribs gp
! 					{ sourcepath = p,
! 					  group = (specgroup, (pos, newpos)),
! 					  sh_spec = Sharing.DONTCARE,
! 					  setup = (NONE, NONE),
! 					  locl = false,
! 					  controllers = [ovldC] }
! 			in
! 			    SmlInfo.parse_for_errors gp i;
! 			    i
  			end
  			fun bogus n = 
--- 91,101 ----
  				{ split = s, is_rts = rts, extra_compenv = xe,
  				  explicit_core_sym = ecs, noguid = false }
! 			in SmlInfo.info' attribs gp
! 					 { sourcepath = p,
! 					   group = (specgroup, (pos, newpos)),
! 					   sh_spec = Sharing.DONTCARE,
! 					   setup = (NONE, NONE),
! 					   locl = false,
! 					   controllers = [ovldC] }
  			end
  			fun bogus n = 



-------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc. Do you grep through log files
for problems?  Stop!  Download the new AJAX search engine that makes
searching your log files as easy as surfing the  web.  DOWNLOAD SPLUNK!
http://ads.osdn.com/?ad_id=7637&alloc_id=16865&op=click
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.