Skip to content

Const(obj, shape) should use RFC 9 to cast obj to shape #1061

New issue
New issue
Closed
Closed
Const(obj, shape) should use RFC 9 to cast obj to shape#1061
Labels
feature
Milestone
 
0.5
@whitequark

Description

@whitequark
whitequark
opened on Jan 30, 2024

There was previous discussion of this feature.

Activity

whitequark
added
feature
meta:needs-rfc
on Jan 30, 2024
whitequark

whitequark commented on Jan 30, 2024

@whitequark
whitequark
on Jan 30, 2024
MemberAuthor

@zyp has mentioned they will write the RFC unless someone else picks it up.

wanda-phi

wanda-phi commented on Feb 3, 2024

@wanda-phi
wanda-phi
on Feb 3, 2024
Member

This has an RFC now: amaranth-lang/rfcs#42

whitequark
removed
meta:needs-rfc
on Feb 3, 2024
whitequark

whitequark commented on Feb 5, 2024

@whitequark
whitequark
on Feb 5, 2024
MemberAuthor

Superseded by #1084.

whitequark
closed this as completedon Feb 5, 2024
whitequark
added this to the 0.5 milestone on Feb 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    feature

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @whitequark@wanda-phi

        Issue actions
          `Const(obj, shape)` should use RFC 9 to cast `obj` to `shape` · Issue #1061 · amaranth-lang/amaranth