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

Jump to bottom

polymorphic variant typing error message not meaningful #5889

Closed
vicuna opened this issue Jan 13, 2013 · 1 comment
Closed

polymorphic variant typing error message not meaningful #5889

vicuna opened this issue Jan 13, 2013 · 1 comment
Labels
bug typing

Comments

@vicuna
Copy link

vicuna commented Jan 13, 2013 •
edited by damiendoligez

Original bug ID: 5889
Reporter: @bobzhang
Status: confirmed (set by @damiendoligez on 2013-06-28T16:17:27Z)
Resolution: open
Priority: normal
Severity: text
Target version: later
Category: typing
Related to: #5888
Monitored by: @gasche @hcarty

Bug description

type 'a u3 = [< `b | `a of  & int & bool ] as 'a;;
File "", line 1:
Error: Type declarations do not match:
         type 'a u3 = 'a constraint 'a = [< `a of & int & bool | `b ]
       is not included in
         type 'a u3 = 'a constraint 'a = [< `a of & int & bool | `b ]
@vicuna vicuna added the typing label Mar 14, 2019
@vicuna vicuna mentioned this issue Mar 7, 2017
Closed
@vicuna vicuna added the bug label Mar 20, 2019
@yallop
Copy link
Member

yallop commented Apr 5, 2019

This is fixed, possibly by #5927, and the code is now accepted as written.

@yallop yallop closed this as completed Apr 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug typing
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@yallop @vicuna