Bugfix in case{q,ql,qual} macro expansion.

* eval.c (me_case): The key must be quoted unconditionally
whether it's an atom or list. Let's make this subject
to the compatibility flag in case someone's code depends
on it.

* txr.1: Compat notes added.

1 files changed, 17 insertions, 6 deletions

diff --git a/eval.c b/eval.c
index b6503280..f863e5fd 100644
--- a/eval.c
+++ b/eval.c
@@ -3157,12 +3157,23 @@ static val me_case(val form, val menv)
     if (keys == t)
       eval_error(form_orig, lit("~s: symbol t used as key"), casesym, nao);
 
-    ptail = list_collect(ptail,
-                         cons(list(if3(atom(keys), eqfuncsym, memfuncsym),
-                                   tformsym,
-                                   if3(atom(keys), keys, list(quote_s, keys, nao)),
-                                   nao),
-                              forms));
+    if (opt_compat && opt_compat <= 156) {
+      ptail = list_collect(ptail,
+                           cons(list(if3(atom(keys), eqfuncsym, memfuncsym),
+                                     tformsym,
+                                     if3(atom(keys),
+                                         keys,
+                                         list(quote_s, keys, nao)),
+                                     nao),
+                                forms));
+    } else {
+      ptail = list_collect(ptail,
+                           cons(list(if3(atom(keys), eqfuncsym, memfuncsym),
+                                     tformsym,
+                                     list(quote_s, keys, nao),
+                                     nao),
+                                forms));
+    }
   }
 
   if (form && atom(form))