From 61e6eee0f3af7e953fdb50b3d73e51eb32a38a1b Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Sat, 6 Apr 2019 13:32:17 -0700
Subject: unwind: rename env frames.

Unwind frames of type ENV exist for the sake of the pattern
language. Let's rename them accordingly.

* match.c (tleval, tleval_progn, h_fun, tx_subst_vars, v_bind,
v_output, v_filter, v_fun): Occurrences of the macros
uw_env_begin and uw_env_end are renamed.

* unwind.c (uw_env_stack): Renamed to uw_menv_stack.
(uw_unwind_to_exit_point, uw_abscond_to_exit_point,
uw_find_env, uw_pop_frame, revive_cont): Follow
rename of UW_ENV to UW_MENV and uw_env_stack to uw_menv_stack.
(uw_push_env): Renamed to uw_push_match_env, and updated to
follow renames.

* unwind.h (enum uw_frtype, uw_frtype_t): UW_ENV renamed
to UW_MENV.
(uw_push_env): Renamed to uw_push_match_env.
(uw_env_begin, uw_env_end): Renamed to uw_match_env_begin an
uw_match_env_end.
---
 unwind.c | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

(limited to 'unwind.c')

diff --git a/unwind.c b/unwind.c
index 492dcc8a..5400c429 100644
--- a/unwind.c
+++ b/unwind.c
@@ -52,7 +52,7 @@
 #define UW_CONT_FRAME_AFTER (16 * sizeof (val))
 
 static uw_frame_t *uw_stack;
-static uw_frame_t *uw_env_stack;
+static uw_frame_t *uw_menv_stack;
 static uw_frame_t *uw_exit_point;
 static uw_frame_t toplevel_env;
 static uw_frame_t unhandled_ex;
@@ -99,9 +99,9 @@ static void uw_unwind_to_exit_point(void)
       /* 1 means unwind only. */
       extended_longjmp(uw_stack->ca.jb, 1);
       abort();
-    case UW_ENV:
+    case UW_MENV:
       /* Maintain consistency of unwind stack pointer */
-      uw_env_stack = uw_env_stack->ev.up_env;
+      uw_menv_stack = uw_menv_stack->ev.up_env;
       break;
     case UW_GUARD:
       if (uw_stack->gu.uw_ok)
@@ -145,7 +145,7 @@ static void uw_unwind_to_exit_point(void)
   case UW_BLOCK:
     extended_longjmp(uw_stack->bl.jb, 1);
     abort();
-  case UW_ENV: /* env frame cannot be exit point */
+  case UW_MENV: /* env frame cannot be exit point */
     abort();
   case UW_CATCH:
     /* 2 means actual catch, not just unwind */
@@ -161,8 +161,8 @@ static void uw_abscond_to_exit_point(void)
 
   for (; uw_stack && uw_stack != uw_exit_point; uw_stack = uw_stack->uw.up) {
     switch (uw_stack->uw.type) {
-    case UW_ENV:
-      uw_env_stack = uw_env_stack->ev.up_env;
+    case UW_MENV:
+      uw_menv_stack = uw_menv_stack->ev.up_env;
       break;
     default:
       break;
@@ -196,20 +196,20 @@ void uw_push_block(uw_frame_t *fr, val tag)
 
 static uw_frame_t *uw_find_env(void)
 {
-  return uw_env_stack ? uw_env_stack : &toplevel_env;
+  return uw_menv_stack ? uw_menv_stack : &toplevel_env;
 }
 
-void uw_push_env(uw_frame_t *fr)
+void uw_push_match_env(uw_frame_t *fr)
 {
   uw_frame_t *prev_env = uw_find_env();
   memset(fr, 0, sizeof *fr);
-  fr->ev.type = UW_ENV;
+  fr->ev.type = UW_MENV;
   fr->ev.up_env = prev_env;
   fr->ev.func_bindings = nil;
   fr->ev.match_context = nil;
   fr->ev.up = uw_stack;
   uw_stack = fr;
-  uw_env_stack = fr;
+  uw_menv_stack = fr;
 }
 
 val uw_get_func(val sym)
@@ -277,9 +277,9 @@ void uw_pop_frame(uw_frame_t *fr)
 {
   assert (fr == uw_stack);
   uw_stack = fr->uw.up;
-  if (fr->uw.type == UW_ENV) {
-    assert (fr == uw_env_stack);
-    uw_env_stack = fr->ev.up_env;
+  if (fr->uw.type == UW_MENV) {
+    assert (fr == uw_menv_stack);
+    uw_menv_stack = fr->ev.up_env;
   }
 }
 
@@ -926,8 +926,8 @@ static val revive_cont(val dc, val arg)
     uw_block_begin (cont->tag, result);
 
     for (fr = new_uw_stack; ; fr = fr->uw.up) {
-      if (!env_set && fr->uw.type == UW_ENV) {
-        uw_env_stack = fr;
+      if (!env_set && fr->uw.type == UW_MENV) {
+        uw_menv_stack = fr;
         env_set = 1;
       }
       if (fr->uw.up == 0) {
-- 
cgit v1.2.3