[racket] Type of syntax-local-phase level

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