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
variance not inferred for package type #5337
Comments
Comment author: yminsky Note that this also fails in 3.12.1
|
Comment author: @garrigue Unfortunately, there is no cheap solution. |
Comment author: @mshinwell Jacques: is this ever going to be fixed? |
Comment author: @garrigue A fix would require a breakthrough in our understanding of the interaction between modules and variance. |
Comment author: @mshinwell For things like this I wonder if we should have a "known list of limitations" to which these items can be added, rather than keeping Mantis issues open for many years. Is there anything like that (or could we start something like that?) for the type checker? |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
@mshinwell suggested a solution to this entry, in the form of a list of known limitations. |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
Original bug ID: 5337
Reporter: sweeks
Assigned to: @garrigue
Status: assigned (set by @mshinwell on 2016-12-07T15:38:04Z)
Resolution: open
Priority: normal
Severity: feature
Version: 3.12.0
Category: typing
Related to: #7151
Monitored by: @yallop yminsky
Bug description
OCaml doesn't accept the following program, because it does not infer that type
t
iscovariant.
It would be nice if OCaml's variance inference would look inside package types.
The text was updated successfully, but these errors were encountered: