Re: Recursive define-syntax

[Per Bothner <per@bothner.com>]

On 9/26/21 05:08, Philippe de Rochambeau via Kawa wrote:
> 
> Hello,
> 
> the following procedure, excerpted from « A Pamphlet Against R »
> 
> (define (dim m)
>   (match m
>     ((first . rest)
>       `(,(length m) . ,(dim first)))
>      (_
>        '())))
> 
> … causes Kawa to display the following error message:
> 
> /dev/tty:6:5: unrecognized pattern operator first

There is no standard Scheme 'match' syntax - there are a
number of different and incompatible extensions.  « A Pamphlet Against R »
uses the Guile language, which is quite different frm Kawa.

Specifically, the Kawa "pattern" syntax is quite limited - it
is mainly a proof of concept - a test of the basic framework.

Thar said, this seems to work:

(define (dim m)
  (match m
    ([first rest ...]
      `(,(length m) . ,(dim first)))
     (_
      '())))

(dim m0) => (3 4)

> Are recursive « syntaxes »  not possible in Kawa?

Before you ask that question, you should try some code that
works on at least one other (preferable two) Scheme implementations.
If you have example code that works on other Scheme implementation(s)
and does not depend on an implementation-specific extension, but
not on Kawa - then we can discuss whether there is a Kawa bug or limitation.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/