There aren't any label-phase expression or expansion positions, so a transformer will never get the label phase from `(syntax-local-phase)`.
I don't think that a label-phase expansion position would even make sense, although I'm not completely certain. At Sun, 22 Jun 2014 12:22:31 +0200, Jens Axel Søgaard wrote: > What does syntax-local-phase return for the label phase level? > > /Jens Axel > > > 2014-06-22 8:58 GMT+02:00 Matthew Flatt <mfl...@cs.utah.edu>: > > I'm pretty sure that the docs are right in this case. > > > > At Sat, 21 Jun 2014 22:26:06 -0400, "Alexander D. Knauth" wrote: > >> The docs say that (syntax-local-phase-level) returns an exact-integer?, > >> but > the > >> type is (-> (U Integer False)). > >> > >> Are the docs right, or is the type right? > >> > >> Would a syntax-transformer ever be expanded as a label phase level form? > >> > >> > >> ____________________ > >> Racket Users list: > >> http://lists.racket-lang.org/users > > ____________________ > > Racket Users list: > > http://lists.racket-lang.org/users > > > > -- > -- > Jens Axel Søgaard ____________________ Racket Users list: http://lists.racket-lang.org/users
