Skip to content

Change "mutable?" to something else ("const"?) and fix covariance/invariance #518

Closed
@pcwalton

Description

@pcwalton

AIUI the general consensus was that we should implement a mutable "slot" type. This is basically equivalent to an interior record with one mutable field. This allows us to remove the mutable? botch.

Metadata

Metadata

Assignees

Labels

A-type-systemArea: Type systemC-cleanupCategory: PRs that clean code up or issues documenting cleanup.

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions