#1690: Specialization breaks "and" macro?

[Chicken Trac]

#1690: Specialization breaks "and" macro?
--------------------------------+----------------------------
            Reporter:  sjamaan  |       Type:  defect
              Status:  new      |   Priority:  major
           Milestone:  5.4      |  Component:  unknown
             Version:  5.2.0    |   Keywords:  specialization
Estimated difficulty:  medium   |
--------------------------------+----------------------------
 [[https://lists.gnu.org/archive/html/chicken-
 hackers/2020-03/msg00012.html|Reported]] by Kon Lovett:

 {{{
 cat >matches-prob-test.scm <<'HERE'
 (import scheme)
 (import (chicken irregex))

 (define (uses-predicate str)
   (and
     (string? str)
     (irregex-match? '(: "foo") str) ) )

 (print "uses-predicate: " (uses-predicate ""))
 HERE

 csc ./matches-prob-test.scm
 ./matches-prob-test
 #uses-predicate: #f

 csc -specialize ./matches-prob-test.scm
 ./matches-prob-test
 #Error: unbound variable: and
 }}}

 Interestingly, this goes all the way back to 4.9.0; in 4.8.0.5 this
 program (with suitable changes for C4) works as expected with
 `-specialize`.

-- 
Ticket URL: <https://bugs.call-cc.org/ticket/1690>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.