New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Record copy update should be able change the generic type #140

Closed

baronfel opened this issue Oct 20, 2016 · 1 comment

Contributor

baronfel commented Oct 20, 2016 •

edited by dsyme

Loading

Submitted by Marko Grdinic on 10/3/2016 12:00:00 AM
1 votes on UserVoice prior to migration

type A<'a> =
{
mutable x: 'a
}
let a = {x = 1}
{a with x="Hello"} // Type error

Since the x field is generic and F# is type safe, it would not be bad if the above was valid.

Original UserVoice Submission
Archived Uservoice Comments

baronfel added open labels

dsyme removed the open label

Collaborator

dsyme commented Mar 1, 2017

Closing as better covered by the more general #164

dsyme closed this as completed

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