[racket] Type of syntax-local-phase level

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