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 <[email protected]> wrote: > 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 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]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/20200411141747.ijbhuadzsy5r56ge%40topoi.pooq.com. > -- 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAFUu9R5ZDO73_Th-VPRPk8%3Da6yWdstmGg6Fh9SKu1eTL%2BZqw4Q%40mail.gmail.com.
