This commit is contained in:
Danny Yoo 2011-12-04 19:00:56 -05:00
parent 6904222c69
commit ccdb0c88f6
2 changed files with 4 additions and 4 deletions

View File

@ -441,13 +441,14 @@
// //
var recomputeMaxNumBouncesBeforeYield; var recomputeMaxNumBouncesBeforeYield;
var scheduleTrampoline = function(MACHINE, f) { var scheduleTrampoline = function(MACHINE, f, before) {
setTimeout( setTimeout(
function() { function() {
MACHINE.exclusiveLock.acquire( MACHINE.exclusiveLock.acquire(
'scheduleTrampoline', 'scheduleTrampoline',
function(release) { function(release) {
release(); release();
if (before) { before(); }
MACHINE.trampoline(f); MACHINE.trampoline(f);
}); });
}, },
@ -460,8 +461,7 @@
var makeRestartFunction = function(MACHINE) { var makeRestartFunction = function(MACHINE) {
var oldArgcount = MACHINE.a; var oldArgcount = MACHINE.a;
return function(f) { return function(f) {
MACHINE.a = oldArgcount; return scheduleTrampoline(MACHINE, f, function() { MACHINE.a = oldArgcount; });
return scheduleTrampoline(MACHINE, f);
}; };
}; };

View File

@ -7,4 +7,4 @@
(provide version) (provide version)
(: version String) (: version String)
(define version "1.98") (define version "1.100")