[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Improper lists in macros [WAS: none]



>>>>> "felix" == felixundduni  <felix> writes:

felix> I might be wrong but is

felix> (curry _ . <>)

felix> legal Scheme syntax? R5RS says (4.3 Macros) that
felix> "Program defined expression types have the syntax (<keyword> <datum> ...) ..."

You're wrong.  Quoting R5RS:

More formally, an input form F matches a pattern P if and only if:

[...]

P is an improper list (P1 P2 ... Pn . Pn+1) and F is a list or
improper list of n or more forms that match P1 through
Pn, respectively, and whose nth ``cdr'' matches Pn+1; or

[...]

Admittedly, R5RS is kind of at odds with itself on this specific
issue.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla