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.

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

ERL-35: Declaring alias to already opaque type as opaque should not confuse Dialyzer #3057

Closed
OTP-Maintainer opened this issue Oct 26, 2015 · 1 comment
Closed

ERL-35: Declaring alias to already opaque type as opaque should not confuse Dialyzer #3057

OTP-Maintainer opened this issue Oct 26, 2015 · 1 comment
Assignees
@uabboli
Labels
bug Issue is reported as a bug cannot reproduce Cannot be reproduced by OTP priority:medium team:VM Assigned to OTP team VM

Comments

@OTP-Maintainer
Copy link

Original reporter: ysz
Affected version: Not Specified
Component: dialyzer
Migrated from: https://bugs.erlang.org/browse/ERL-35
@OTP-Maintainer
Copy link
Author

hasse said:

You don't say what version you're running.

As of commit dc8440 one cannot talk about "opaque aliases" any
more. So as far as I know, Dialyzer is no longer confused.

@OTP-Maintainer OTP-Maintainer added cannot reproduce Cannot be reproduced by OTP bug Issue is reported as a bug team:VM Assigned to OTP team VM priority:medium labels Feb 10, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@uabboli uabboli

Labels
bug Issue is reported as a bug cannot reproduce Cannot be reproduced by OTP priority:medium team:VM Assigned to OTP team VM
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@uabboli @OTP-Maintainer