Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
De fato, o casador de padrões percorre cada padrão, do primeiro ao último, e para de
percorrê-los quando encontra um que case com os argumentos da macro. Neste caso, os
argumentos casam com o primeiro padrão:
x
→ i
in
→ from
lista → 10
do
→ to
body ... → 15 do ( display i) ( newline )
O problema parece ser simples: a macro não sabe que certos identificadores deveriam
ser usados para diferenciar um padrão de outro. Para informarmos a macro disto basta
incluirmos a lista de literais como primeiro argumento para syntax-rules:
( define-syntax for
( syntax-rules (in do from to) ;; x end ))
body ...))))
Com esta modificação a macro já não aceita mais qualquer identificador nas posições
de in, do, from e to:
(for x blah ’(a b c) blah (display x) (newline))
Error: during expansion of (for ...) - no rule matches form: (for x blah
(quote (a b c)) blah (display x) (newline))
Além disso, passa a funcionar para os dois casos:
Versão Preliminar
[ 27 de outubro de 2010 at 15:47 ]
173