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: 6391 Reporter: @gasche Assigned to: @damiendoligez Status: closed (set by @mshinwell on 2016-12-07T13:51:23Z) Resolution: fixed Priority: low Severity: feature Category: ~DO NOT USE (was: OCaml general) Tags: github, patch
#42
Add support for simple functor types of the form:
S -> T
equivalent to:
functor (_ : S) -> T
The S and T can be any module type expressions.
S
T
While not actually ambiguous there is a potential shift-reduce conflict related to with constraints:
S with type t = int -> float
vs
S with type t = int -> T
This is resolved in favour of the first one (shift), meaning that the second type must be written:
(S with type t = int) -> T
The text was updated successfully, but these errors were encountered:
Comment author: @mshinwell
This has been merged
Sorry, something went wrong.
Merged in 4.03
damiendoligez
No branches or pull requests
Original bug ID: 6391
Reporter: @gasche
Assigned to: @damiendoligez
Status: closed (set by @mshinwell on 2016-12-07T13:51:23Z)
Resolution: fixed
Priority: low
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Tags: github, patch
Bug description
#42
Add support for simple functor types of the form:
equivalent to:
The
S
andT
can be any module type expressions.While not actually ambiguous there is a potential shift-reduce conflict related to with constraints:
vs
This is resolved in favour of the first one (shift), meaning that the second type must be written:
The text was updated successfully, but these errors were encountered: