Skip to content

Add support for ValueCastable formatting #1188

Closed
@wanda-phi

Description

@wanda-phi

Currently (or, once RFC 50 is implemented), Values can be formatted and printed using the Format + Print mechanism. However, there is no support for pretty-printing custom ValueCastable such as data.View or Amaranth Enum. A mechanism for such should be designed and proposed via the RFC process.

Activity

whitequark

whitequark commented on Mar 4, 2024

@whitequark
Member

Should this be on 0.5 roadmap or not?

wanda-phi

wanda-phi commented on Mar 4, 2024

@wanda-phi
MemberAuthor

Should this be on 0.5 roadmap or not?

shrug I don't really know. I think yes iff we can pull this off for lib.data + lib.enum without eg. getting blocked on support on the yosys side.

whitequark

whitequark commented on Mar 4, 2024

@whitequark
Member

OK, leaving off milestone for now.

whitequark

whitequark commented on Mar 18, 2024

@whitequark
Member

RFC for this feature: amaranth-lang/rfcs#58

wanda-phi

wanda-phi commented on Apr 13, 2024

@wanda-phi
MemberAuthor

Obsoleted by #1243

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

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @whitequark@wanda-phi

        Issue actions

          Add support for `ValueCastable` formatting · Issue #1188 · amaranth-lang/amaranth