CVS: sml-dist/src/compiler/TopLevel/interact interact.sig,1.12,1.13 interact.sml,1.12,1.13

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

Modified Files:
	interact.sig interact.sml 
Log Message:
added mechanism for re-dumping heap image for interactive system

Index: interact.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/TopLevel/interact/interact.sig,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** interact.sig	23 Nov 2004 20:44:10 -0000	1.12
--- interact.sig	17 May 2005 04:46:11 -0000	1.13
***************
*** 5,8 ****
--- 5,9 ----
  sig
    exception Interrupt
+ 
    val interact : unit -> unit
    val useFile  : string -> unit
***************
*** 19,21 ****
--- 20,24 ----
  	getPending : unit -> Symbol.symbol list } -> unit
  
+   val redump_heap_cont : string SMLofNJ.Cont.cont ref
+ 
  end  (* signature INTERACT *)

Index: interact.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/TopLevel/interact/interact.sml,v
retrieving revision 1.12
retrieving revision 1.13
diff -C2 -d -r1.12 -r1.13
*** interact.sml	23 Nov 2004 20:44:10 -0000	1.12
--- interact.sml	17 May 2005 04:46:11 -0000	1.13
***************
*** 40,42 ****
--- 40,48 ----
    end
  
+   local open SMLofNJ.Cont
+   in val redump_heap_cont : string cont ref =
+ 	 ref (callcc (fn ret => (callcc (fn k => throw ret k);
+ 				 raise Fail "redump_heap_cont init")))
+   end
+ 
  end (* functor Interact *)



-------------------------------------------------------
This SF.Net email is sponsored by Oracle Space Sweepstakes
Want to be the first software developer in space?
Enter now for the Oracle Space Sweepstakes!
http://ads.osdn.com/?ad_id=7412&alloc_id=16344&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.