[racket-users] typed mutable fields in structures.

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

Re: [racket-users] typed mutable fields in structures.

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