Skip to content

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

Closed

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.

Activity

  1. graydon commented on Aug 25, 2011

    @graydon
    Contributor

    Assigning to first release so that it gets cleaned up before anyone relies on it in current state.

  2. pcwalton commented on Aug 25, 2011

    @pcwalton
    ContributorAuthor

    Actually I'm not sure about this; I can't figure out what the deref semantics need to be. I think mutable? may be the best solution...

  3. pcwalton commented on Aug 25, 2011

    @pcwalton
    ContributorAuthor

    See issue #856. We should at least fix covariance/invariance for mutable?.

  4. brson commented on Oct 18, 2011

    @brson
    Contributor

    The variance of mutable? is fixed by 0f0fa26

  5. brson commented on Oct 21, 2011

    @brson
    Contributor

    With the variance issue fixed can we punt on mutable? for 0.1?

  6. ghost assigned on Nov 16, 2011
  7. brson commented on Nov 16, 2011

    @brson
    Contributor

    mutable? is now const

  8. added a commit that references this issue on Dec 12, 2017
  9. added a commit that references this issue on Apr 23, 2020
  10. added a commit that references this issue on Jun 3, 2025
  11. added a commit that references this issue on Jul 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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