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 is
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, and
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 registe
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 #'token
4 matches
Mail list logo