New function: regex-source.

* regex.c (regex_source): New function.
(regex_init): regex-source intrinsic registered.

* regex.h (regex_source): Declared.

* txr.1: Documented.

3 files changed, 23 insertions, 0 deletions

diff --git a/regex.c b/regex.c
index f1f63873..4c5ac1d6 100644
--- a/regex.c
+++ b/regex.c
@@ -2082,6 +2082,12 @@ val regexp(val obj)
   return typeof(obj) == regex_s ? t : nil;
 }
 
+val regex_source(val compiled_regex)
+{
+  regex_t *regex = coerce(regex_t *, cobj_handle(compiled_regex, regex_s));
+  return regex->source;
+}
+
 static void puts_clear_flag(val str, val stream, int *semi_flag)
 {
   *semi_flag = 0;
@@ -2933,6 +2939,7 @@ void regex_init(void)
 
   reg_fun(intern(lit("regex-compile"), user_package), func_n2o(regex_compile, 1));
   reg_fun(intern(lit("regexp"), user_package), func_n1(regexp));
+  reg_fun(intern(lit("regex-source"), user_package), func_n1(regex_source));
   reg_fun(intern(lit("search-regex"), user_package), func_n4o(search_regex, 2));
   reg_fun(intern(lit("range-regex"), user_package), func_n4o(range_regex, 2));
   reg_fun(intern(lit("search-regst"), user_package), func_n4o(search_regst, 2));
diff --git a/regex.h b/regex.h
index cad2df13..c19afbb9 100644
--- a/regex.h
+++ b/regex.h
@@ -31,6 +31,7 @@ extern wchar_t spaces[];
 
 val regex_compile(val regex, val error_stream);
 val regexp(val);
+val regex_source(val regex);
 val search_regex(val haystack, val needle_regex, val start_num, val from_end);
 val range_regex(val haystack, val needle_regex, val start_num, val from_end);
 val match_regex(val str, val regex, val pos);
diff --git a/txr.1 b/txr.1
index 3293ef81..508b8c72 100644
--- a/txr.1
+++ b/txr.1
@@ -32173,6 +32173,21 @@ stream.
   (regex-compile "a|b|c")
 .cble
 
+.coNP Function @ regex-source
+.synb
+.mets (regex-source << regex )
+.syne
+.desc
+The
+.code regex-source
+function returns the source code of compiled regular expression
+.metn regex .
+
+The source code isn't the textual notation, but the Lisp
+data structure representing the abstract syntax tree: the
+same representation as what is returned by
+.codn regex-parse .
+
 .coNP Function @ regex-parse
 .synb
 .mets (regex-parse < string <> [ error-stream ])