Skip to content

Don't allow record extension from resource types #989

Closed
@brson

Description

@brson

Something like the following shouldn't be possible

let a = {x: 0, y: my_resource(0};
let b = {x: 2 with a};

Don't actually know what the compiler does currently, but I'm guessing it does the copy.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-type-systemArea: Type systemE-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions