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. |
|