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

Type-based selection for rebinding constructors of extensible types #6514

vicuna opened this Issue Aug 12, 2014 · 1 comment


None yet
1 participant
Copy link

vicuna commented Aug 12, 2014

Original bug ID: 6514
Reporter: @alainfrisch
Status: acknowledged (set by @damiendoligez on 2014-08-18T13:12:39Z)
Resolution: open
Priority: low
Severity: feature
Target version: later
Category: typing

Bug description

By uniformity with the type-based selection of constructors in expression and patterns, the following should be accepted:

type t = ..
type s = ..

type t += A
type s += A

type t += B = A


This comment has been minimized.

Copy link
Collaborator Author

vicuna commented Nov 9, 2018

Comment author: @alainfrisch


Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.