[racket-dev] syntax/syntax proposal

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Fri Jun 15 21:20:44 EDT 2012

On 2012-06-15 17:39:27 -0400, Matthias Felleisen wrote:
> Sounds like this should be documented and possibly even contracted. 

The contracts I wrote in the patch do reflect this via the
`stx-pair?` predicate, FYI.

By the way, the definition of a syntax pair in the documentation is
this:
  A syntax pair is a pair containing a syntax object as its first
  element, and either the empty list, a syntax pair, or a syntax object
  as its second element.

I may just be confused, but doesn't this conflict with the documented
behavior of the `stx-pair?` predicate?

  Returns #t if v is either a pair or a syntax object representing a
  pair (see syntax pair).

Cheers,
Asumu

Posted on the dev mailing list.