Skip to content
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.

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

Make Var a coercion #110

Merged
merged 1 commit into from
Sep 6, 2024
Merged

Make Var a coercion #110

merged 1 commit into from
Sep 6, 2024

Conversation

tchajed
Copy link
Member

@tchajed tchajed commented Sep 6, 2024

It was originally not due to failing the "uniform inheritance criteria", but this criteria is no longer required.

This should ensure that variables are actually printed as strings, hiding the Var coercion, which will make code much more readable without the ugly hack of the Var' coercions.

The massive fallout is due to removing many coercions Var' that were defined for specific type parameters, all of which can now use the single coercion on Var.

It was originally not due to failing the "uniform inheritance criteria",
but this criteria is no longer required.

This should ensure that variables are actually printed as strings,
hiding the Var coercion, which will make code much more readable without
the ugly hack of the `Var'` coercions.

The massive fallout is due to removing many coercions Var' that were
defined for specific type parameters, all of which can now use the
single coercion on Var.
@tchajed tchajed merged commit 31aeca7 into master Sep 6, 2024
6 checks passed
@tchajed tchajed deleted the tchajed/remove-var-coercion branch September 6, 2024 18:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant