Re: irregex-match? & specialize question

[felix . winkelmann]

> = I must be missing something
>
> 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
>

Ouch. The "and" introduced by the specialization of irregex-match?
(types.db:1642)  is wrong, syntax is already expanded at this stage, so the
"and" will be treated as a (nonexistent) procedure.

You can temporarily remove these rules in types.db to have a working
system until this is fixed.


felix