Skip to content

With_valid.t gives names that are not supported by VHDL generation #27

@AliceFord

Description

@AliceFord

Take for example a field:

module O = struct
  type 'a t =
    {
      num_zeros : 'a With_valid.t [@bits num_bits]
    }
  [@@deriving hardcaml]
end

On RTL generation, we get:

"[Rtl_name.add_port_name] illegal port name" (name num_zeros$valid)

This seems wrong, as the With_valid.t interface can't be used when generating VHDL.

Metadata

Metadata

Assignees

No one assigned

    Labels

    forwarded-to-js-devsThis report has been forwarded to Jane Street's internal review system.

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions