ffi: Set last_return_code. Restore prev_restore_history_offset?

diff --git a/src/microcode/pruxffi.c b/src/microcode/pruxffi.c
index 72a4674d291743888cadb23f7d912883c66d0fbf..c87b73277b3bd8de9ed3e394f5e93cec590c2ec7 100644 (file)
--- a/src/microcode/pruxffi.c
+++ b/src/microcode/pruxffi.c
@@ -578,6 +578,7 @@ callback_run_kernel (long callback_id, CallbackKernel kernel)
   /* Used by callback trampolines after saving the callback args on
      the CStack. */
   SCM * saved_stack_pointer, * saved_last_return_code;
+  unsigned long saved_prev_restore_history_offset;
   unsigned long nargs = GET_LEXPR_ACTUALS;
 
   if (run_callback == SHARP_F)
@@ -608,8 +609,9 @@ callback_run_kernel (long callback_id, CallbackKernel kernel)
   SET_EXP (c_call_continue);
   SAVE_CONT ();
 
-  saved_last_return_code = last_return_code;
   saved_stack_pointer = stack_pointer;
+  saved_last_return_code = last_return_code;
+  saved_prev_restore_history_offset = prev_restore_history_offset;
  Will_Push ((2 * CONTINUATION_SIZE) + STACK_ENV_EXTRA_SLOTS + 1);
   SET_RC (RC_END_OF_COMPUTATION);
   SET_EXP (run_callback);
@@ -620,7 +622,8 @@ callback_run_kernel (long callback_id, CallbackKernel kernel)
   SET_EXP (run_callback);
   SAVE_CONT ();
  Pushed ();
-  SET_EXP (SHARP_F);           /* fall through to pop_return */
+  last_return_code = stack_pointer;
+  SET_EXP (SHARP_F);
   Re_Enter_Interpreter ();
 
   if (stack_pointer != saved_stack_pointer
@@ -631,11 +634,21 @@ callback_run_kernel (long callback_id, CallbackKernel kernel)
       || ((STACK_REF (3)) != c_call_continue)
 #endif
       )
-    signal_error_from_primitive (ERR_STACK_HAS_SLIPPED);
-    /*NOTREACHED*/
+    {
+      SET_PRIMITIVE (c_call_continue);
+      SET_LEXPR_ACTUALS (0);
+      outf_error_line ("\nWarning: stack slipped in callback.");
+      signal_error_from_primitive (ERR_STACK_HAS_SLIPPED);
+      /*NOTREACHED*/
+    }
 
-  last_return_code = saved_last_return_code;
   stack_pointer = STACK_LOC (4);
+  last_return_code = saved_last_return_code;
+  if (prev_restore_history_offset != saved_prev_restore_history_offset)
+    {
+      outf_error_line ("Warning: restoring prev_restore_history_offset.");
+      prev_restore_history_offset = saved_prev_restore_history_offset;
+    }
   SET_PRIMITIVE (c_call_continue);
   SET_LEXPR_ACTUALS (nargs);