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
