Re: [racket-users] srcloc->string exported by tr/base but without type?

No, this is just an oversight, presumably. You could contribute this improvement to other Typed Racket users by making a change to `typed-racket/base-env/base-env` (here: https://github.com/racket/typed-racket/blob/master/typed-racket-lib/typed-racket/base-env/base-env.rkt ). In general, minor

[racket-users] srcloc->string exported by tr/base but without type?

This just seems like an oversight… the program #lang typed/racket/base srcloc? srcloc->string … fails to type-check because typed/racket/base doesn’t include a type for srcloc->string. Based on the documentation, it looks like I can use the type (srcloc -> (U String False)) for this type,

[racket-users] Reminder: (sixth RacketCon) Call for Speakers

Racketeers, The (sixth RacketCon) program is starting to take shape! Check out our web page[1] for a sneak peek. We still have a couple of speakers slots open, but not many. If you're interested in speaking about a Racket-related project of yours, please let me know! Also, if you haven't

[racket-users] [racket][typed] infinite typechecking

Hello, This is version 6.5.0.5. (define-syntax (define-tokens stx) (syntax-case stx [] [(_ token #:+ Token (extra ...) #:with [[subtoken #:+ SubToken subrest ...] ...] [id #:+ ID #:-> parent #:as Type rest ...] ...) (with-syntax ([token->datum (format-id