3 files changed, 16 insertions, 8 deletions
diff --git a/match.c b/match.c
index 62eeb50d..b4a2fd56 100644
--- a/match.c
+++ b/match.c
@@ -4051,15 +4051,16 @@ val include(val specline)
   return v_load(&c);
 }
 
-int extract(val spec, val files, val predefined_bindings)
+val extract(val spec, val files, val predefined_bindings)
 {
-  cons_bind (bindings, success, match_files(mf_all(spec, files,
-                                                   predefined_bindings,
-                                                   t, nil)));
+  val result = match_files(mf_all(spec, files, predefined_bindings,
+                                  t, nil));
+  cons_bind (bindings, success, result);
 
   if (opt_print_bindings) {
     if (bindings) {
       bindings = nreverse(bindings);
+      rplaca(result, bindings);
       dump_bindings(bindings);
     }
 
@@ -4067,7 +4068,7 @@ int extract(val spec, val files, val predefined_bindings)
       put_line(lit("false"), std_output);
   }
 
-  return success ? 0 : EXIT_FAILURE;
+  return result;
 }
 
 static void syms_init(void)
diff --git a/match.h b/match.h
index 2a56cf38..d8f075a3 100644
--- a/match.h
+++ b/match.h
@@ -31,5 +31,5 @@ val format_field(val string_or_list, val modifier, val filter, val eval_fun);
 val match_filter(val name, val arg, val other_args);
 val match_fun(val name, val args, val input, val files);
 val include(val specline);
-int extract(val spec, val filenames, val bindings);
+val extract(val spec, val filenames, val bindings);
 void match_init(void);
diff --git a/txr.c b/txr.c
index c2fef68f..b395b185 100644
--- a/txr.c
+++ b/txr.c
@@ -740,8 +740,15 @@ int txr_main(int argc, char **argv)
     reg_var(intern(lit("self-path"), user_package), spec_file_str);
 
     {
-      int retval = extract(spec, arg_list, bindings);
-      return parser.errors ? EXIT_FAILURE : retval;
+      val result = extract(spec, arg_list, bindings);
+      cons_bind (new_bindings, success, result);
+
+      if (enter_repl) {
+        bindings = new_bindings;
+        goto repl;
+      }
+
+      return (parser.errors || !success) ? EXIT_FAILURE : 0;
     }
   }