I noticed that in regular Racket, when defining a structure, it is
possible for each field to be mutable independent of the other fields.
In Typed Racke I find the choice only of making all the fields or none
of them mutable.
Is this correct, or have I missed something?
-- hendrik
--
You rec
Yes, that's right.
I think TR could support this choice ... the typechecket
(tc-structs.rkt) seems to know about the per-field mutability that
comes from a struct info.
On 4/11/20, Hendrik Boom wrote:
> I noticed that in regular Racket, when defining a structure, it is
> possible for each field
2 matches
Mail list logo