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

semantics

This page is part of the web mail archives of SRFI 93 from before July 7th, 2015. The new archives for SRFI 93 contain all messages, not just those from before July 7th, 2015.




This may seem like nitpicking, but the description in 3.6 does not
allow one to decide if the following should evaluate to 'yes or 'no.

(let-syntax ((test
              (syntax-rules ()
                ((_ x)
                 (let-syntax ((g (syntax-rules (x)
                                   ((_ literal) 'yes)
                                   ((_ other)   'no))))
                   (g other))))))
  (test literal))

I guess an identifier in a pattern is a literal only if it is
bound-identifier=? to one of the identifiers in the literals list,
but this is not explained.

Also, the text

"A literal identifier matches an input subform if and only if the input subform is an identifier and either both its occurrence in the input expression and its occurrence in the list of literals have the same lexical binding, or the two identifiers are equal and both have no lexical binding."

refers to "the same lexical binding" - is this free-identifier=?, and ditto
for the term "equal" in the last line.

Regards
Andre