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