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.

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

Missing case in GADT syntax #5972

Closed
vicuna opened this issue Apr 2, 2013 · 2 comments
Closed

Missing case in GADT syntax #5972

vicuna opened this issue Apr 2, 2013 · 2 comments
Assignees

Comments

@vicuna
Copy link

vicuna commented Apr 2, 2013

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;;

@vicuna
Copy link
Author

vicuna commented Apr 3, 2013

Comment author: @gasche

Damien has been obsessively fixing documentations glitches recently, he may be interested by this one.

@vicuna
Copy link
Author

vicuna commented Apr 4, 2013

Comment author: @damiendoligez

Well spotted. This is already fixed in the trunk version of the manual.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants