[racket] Type of syntax-local-phase level

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 <mflatt at 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