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: 5972 Reporter: jfc Assigned to: @damiendoligez Status: closed (set by @damiendoligez on 2013-04-04T09:25:05Z) Resolution: fixed Priority: low Severity: minor Version: 4.00.0 Fixed in version: 4.01.0+dev Category: documentation
Section 7.18 of the ocaml 4.00 documentation lists an extension to type constructor syntax:
constr-decl ::= ... | constr-name : typexpr { * typexpr } -> typexpr
This implies that an arrow must appear, but the arrow is optional. I can also declare
type _ t = Foo : unit t;;
The text was updated successfully, but these errors were encountered:
Comment author: @gasche
Damien has been obsessively fixing documentations glitches recently, he may be interested by this one.
Sorry, something went wrong.
Comment author: @damiendoligez
Well spotted. This is already fixed in the trunk version of the manual.
damiendoligez
No branches or pull requests
Original bug ID: 5972
Reporter: jfc
Assigned to: @damiendoligez
Status: closed (set by @damiendoligez on 2013-04-04T09:25:05Z)
Resolution: fixed
Priority: low
Severity: minor
Version: 4.00.0
Fixed in version: 4.01.0+dev
Category: documentation
Bug description
Section 7.18 of the ocaml 4.00 documentation lists an extension to type constructor syntax:
constr-decl ::= ... | constr-name : typexpr { * typexpr } -> typexpr
This implies that an arrow must appear, but the arrow is optional. I can also declare
type _ t = Foo : unit t;;
The text was updated successfully, but these errors were encountered: