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 I can certainly add this
myself, like this:
(require/typed typed/racket/base
[srcloc->string (srcloc -> (U String False))])
Is there some reason this isn’t already built in?
John
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
signature.asc
Description: PGP signature
