Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned stack_overflow_handler;
authorwenzelm
Tue, 20 Oct 1998 18:04:23 +0200
changeset 5703 53b00681c63b
parent 5702 77ad51744aee
child 5704 1ddf7e1e8b19
tuned stack_overflow_handler;
src/Pure/ML-Systems/mlworks.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/mlworks.ML	Tue Oct 20 17:52:52 1998 +0200
+++ b/src/Pure/ML-Systems/mlworks.ML	Tue Oct 20 18:04:23 1998 +0200
@@ -19,9 +19,9 @@
 (* MLWorks parameters *)
 
 val _ =
- (MLWorks.Internal.Runtime.Event.stack_overflow_handler
-    (fn () => MLWorks.Internal.Runtime.Memory.max_stack_blocks :=
-      ! MLWorks.Internal.Runtime.Memory.max_stack_blocks + 20);
+ (MLWorks.Internal.Runtime.Event.stack_overflow_handler (fn () =>
+    let val max_stack = MLWorks.Internal.Runtime.Memory.max_stack_blocks
+    in max_stack := (! max_stack * 3) div 2 + 5 end);
   MLWorks.Internal.Runtime.Memory.gc_message_level := 10;
   (*Is this of any use at all?*)
   Shell.Options.set (Shell.Options.ValuePrinter.showExnDetails, true));
isabelle