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
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,
2 matches
Mail list logo