[racket] Type of syntax-local-phase level

From: Alexander D. Knauth (alexander at knauth.org)
Date: Sat Jun 21 22:26:06 EDT 2014

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?  



Posted on the users mailing list.