We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Original bug ID: 7112 Reporter: @lpw25 Assigned to: @garrigue Status: closed (set by @lpw25 on 2017-02-27T14:48:45Z) Resolution: fixed Priority: normal Severity: major Version: 4.02.3 Target version: 4.03.0+dev / +beta1 Fixed in version: 4.04.0 Category: typing Has duplicate: #7204 Monitored by: @gasche @diml @yallop
Module aliases are not taken account of in arguments to functors when checking equality of abstract module types:
# module F (_ : sig end) = struct module type S end;; module F : functor (_ : sig end) -> sig module type S end # module M = struct end;; module M : sig end # module N = M;; module N = M # module G (X : F(N).S) : F(M).S = X;; Characters 33-34: module G (X : F(N).S) : F(M).S = X;; ^ Error: Signature mismatch: Modules do not match: F(N).S is not included in F(M).S Unbound module type F(M).S ``
The text was updated successfully, but these errors were encountered:
Comment author: @garrigue
Fixed in trunk by commit 2913cf1.
Not something really urgent, and do not want to break anything.
Sorry, something went wrong.
garrigue
No branches or pull requests
Original bug ID: 7112
Reporter: @lpw25
Assigned to: @garrigue
Status: closed (set by @lpw25 on 2017-02-27T14:48:45Z)
Resolution: fixed
Priority: normal
Severity: major
Version: 4.02.3
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.04.0
Category: typing
Has duplicate: #7204
Monitored by: @gasche @diml @yallop
Bug description
Module aliases are not taken account of in arguments to functors when checking equality of abstract module types:
The text was updated successfully, but these errors were encountered: