Inherit `Record` from `UserValue` #354

Closed

Labels

Milestone

opened

on Apr 14, 2020

For all intents and purposes, a Record is a kind of UserValue. However, it predates UserValue and for historical reasons is special-cased in a lot of places. It should just inherit from UserValue.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

0.3

Relationships

None yet

Development

No branches or pull requests