Skip to content

support generic and polymorphic types in coercion expressions#273

Merged
aspeddro merged 1 commit into
rescript-lang:mainfrom
aspeddro:fix-type-coercion
Apr 24, 2026
Merged

support generic and polymorphic types in coercion expressions#273
aspeddro merged 1 commit into
rescript-lang:mainfrom
aspeddro:fix-type-coercion

Conversation

@aspeddro

Copy link
Copy Markdown
Collaborator
  • Allow coercion expressions to use generic and polymorphic types as the right-hand side
  • Update grammar to permit generic_type and polymorphic_type in relevant contexts
  • Add test cases for coercion with generic types

Close #250

- Allow coercion expressions to use generic and polymorphic types as the right-hand side
- Update grammar to permit generic_type and polymorphic_type in relevant contexts
- Add test cases for coercion with generic types

Close rescript-lang#250
@aspeddro aspeddro merged commit 14222e3 into rescript-lang:main Apr 24, 2026
1 check passed
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.

Missing "unpack" during coercion

1 participant