The Typed Racket struct doesn't support #:sealed, but it does have #:property, so I figured you could just use prop:sealed instead. But:
$ racket -I typed/racket
Welcome to Racket v8.13 [cs].
> (struct foo ([bar : Integer]) #:property prop:sealed #t)
string:1:41: Type Checker: missing type for identifier;
The `racket' language does not seem to have a type for this identifier; please file a bug report
identifier: prop:sealed
from module: (lib typed/racket)
in: prop:sealed
[,bt for context]
Oddly, DrRacket gives a different, much less useful, error than the command line repl:
Type Checker: expected a struct type property but got Nothing in: #t
Another thing that isn't imported properly into TR?
The Typed Racket
struct
doesn't support#:sealed
, but it does have#:property
, so I figured you could just useprop:sealed
instead. But:Oddly, DrRacket gives a different, much less useful, error than the command line repl:
Another thing that isn't imported properly into TR?