-
-
Notifications
You must be signed in to change notification settings - Fork 104
Closed
Description
The new treelist type from 8.13 doesn't have Typed Racket support yet.
$ racket -I typed/racket
Welcome to Racket v8.13 [cs].
> (require racket/treelist)
> treelist?
string:1:0: Type Checker: missing type for identifier;
consider using `require/typed' to import it
identifier: treelist?
from module: racket/treelist
in: treelist?
[,bt for context]
Metadata
Metadata
Assignees
Labels
No labels