Control stack exhausted when expanding match body with strings

mthom commented 3 years ago

I don't know if this is a bug or if I am doing something wrong. I have the following function:

(defun prefix-type-cast (cast operand &optional (start 0))
  "Perform a compile-time type cast using a prefixed qualifier. Used
in conjunction with the \"^^\" operator."
  (cond
    ((or (string= cast "http://www.w3.org/2001/XMLSchema#integer")
         (string= cast "http://www.w3.org/2001/XMLSchema#long"))
     (make-ruleml-number :value (parse-integer operand)
                         :position start))
    ((string= cast "http://www.w3.org/2001/XMLSchema#double")
     (make-ruleml-number :value (read-from-string operand)
                         :position start))
    ((string= cast "http://www.w3.org/2001/XMLSchema#string")
     (make-ruleml-string :contents operand
                         :position start))))

which I would much rather write using match:

(defun prefix-type-cast (cast operand &optional (start 0))
  "Perform a compile-time type cast using a prefixed qualifier. Used
in conjunction with the \"^^\" operator."
  (match cast
    ((or "http://www.w3.org/2001/XMLSchema#integer"
         "http://www.w3.org/2001/XMLSchema#long")
     (make-ruleml-number :value (parse-integer operand)
                         :position start))
    ("http://www.w3.org/2001/XMLSchema#double"
     (make-ruleml-number :value (read-from-string operand)
                         :position start))
    ("http://www.w3.org/2001/XMLSchema#string"
     (make-ruleml-string :contents operand
                         :position start))))

When I try to compile it, the control stack is exhausted. This is the backtrace from SBCL:

Control stack exhausted (no more space for function call frames).
This is probably due to heavily nested or infinitely recursive function
calls, or a tail call that SBCL cannot or has not optimized away.

PROCEED WITH CAUTION.
   [Condition of type SB-KERNEL::CONTROL-STACK-EXHAUSTED]

Restarts:
 0: [ABORT] Abort compilation.
 1: [*ABORT] Return to SLIME's top level.
 2: [ABORT] abort thread (#<THREAD "worker" RUNNING {1001A80FD3}>)

Backtrace:
  0: (SB-KERNEL::CONTROL-STACK-EXHAUSTED-ERROR)
  1: ("foreign function: call_into_lisp")
  2: ("foreign function: post_signal_tramp")
  3: ((LABELS SB-IMPL::S :IN SUBST) (#\a))
  4: ((LABELS SB-IMPL::S :IN SUBST) (EQL #\a))
  5: ((LABELS SB-IMPL::S :IN SUBST) ((EQL #\a)))
  6: ((LABELS SB-IMPL::S :IN SUBST) (:TYPE (EQL #\a)))
  7: ((LABELS SB-IMPL::S :IN SUBST) (LET :TYPE (EQL #\a)))
  8: ((LABELS SB-IMPL::S :IN SUBST) (:BINDER LET :TYPE (EQL #\a)))
  9: ((LABELS SB-IMPL::S :IN SUBST) (T :BINDER LET :TYPE (EQL #\a)))
 10: ((LABELS SB-IMPL::S :IN SUBST) (:IGNORABLE T :BINDER LET :TYPE (EQL #\a)))
 11: ((LABELS SB-IMPL::S :IN SUBST) (NIL :IGNORABLE T :BINDER LET :TYPE ...))
 12: ((LABELS SB-IMPL::S :IN SUBST) (:DYNAMIC-EXTENT NIL :IGNORABLE T :BINDER LET ...))
 13: ((LABELS SB-IMPL::S :IN SUBST) (NIL :DYNAMIC-EXTENT NIL :IGNORABLE T :BINDER ...))
 14: ((LABELS SB-IMPL::S :IN SUBST) (:SPECIAL NIL :DYNAMIC-EXTENT NIL :IGNORABLE T ...))
 15: ((LABELS SB-IMPL::S :IN SUBST) (#:IT112 :SPECIAL NIL :DYNAMIC-EXTENT NIL :IGNORABLE ...))
 16: ((LABELS SB-IMPL::S :IN SUBST) ((#1=#:IT112 :SPECIAL NIL :DYNAMIC-EXTENT NIL :IGNORABLE ...) (EQL #1# #\a)))
 17: ((LABELS SB-IMPL::S :IN SUBST) (GUARD1 (#1=#:IT112 :SPECIAL NIL :DYNAMIC-EXTENT NIL :IGNORABLE ...) (EQL #1# #\a)))
 18: ((LABELS SB-IMPL::S :IN SUBST) ((GUARD1 (#1=#:IT112 :SPECIAL NIL :DYNAMIC-EXTENT NIL :IGNORABLE ...) (EQL #1# #\a)) (GUARD1 (#2=#:IT113 :SPECIAL NIL :DYNAMIC-EXTENT NIL :IGNORABLE ...) (EQL #2# #\#)) ..
 19: ((LABELS SB-IMPL::S :IN SUBST) ((GUARD1 (#1=#:IT111 :SPECIAL NIL :DYNAMIC-EXTENT NIL :IGNORABLE ...) (EQL #1# #\m)) (GUARD1 (#2=#:IT112 :SPECIAL NIL :DYNAMIC-EXTENT NIL :IGNORABLE ...) (EQL #2# #\a)) ..
 --more--