Skip to content

Better output for record duplication #7319

Closed
Closed
Better output for record duplication#7319
Labels
enhancement
Milestone
v13

Description

@cometkim
cometkim
opened on Mar 6, 2025

As described in #7043 (comment)

record duplication currently emits:

let newrecord = { ...obj };
newrecord.field = value;

It should be:

{ ...obj, field: value };

Activity

  1. cometkim
    added
    enhancement
    on Mar 6, 2025
  2. cometkim
    added this to ReScript developmenton Mar 6, 2025
  3. cknitt
    added this to the v13 milestone on Dec 4, 2025

  4. cometkim commented on Jul 16, 2026

    @cometkim
    cometkim
    on Jul 16, 2026
    MemberAuthor

    Resolved by #8473

  5. cometkim
    closed this as completedon Jul 16, 2026
  6. github-project-automation
    moved this to Done in ReScript developmenton Jul 16, 2026
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

    enhancement

    Type

    No type

    Projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions