You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am not sure whether this is a feature wish or a bug report:
It seems that OCaml parses polymorphic variants in such a
way that it is not possible to use keywords as variant names.
E.g.:
type t = [ `true ]
will lead to a syntax error. This is possibly too strict.
The preceding ` should allow the scanner to know that a
variant name follows immediately.
The current implementation allows whitespace and even
comments (!) between the and the name of the variant. This "freedom" is rather confusing. I propose that the and the variant name should stay together.
Best regards,
Markus Mottl
The text was updated successfully, but these errors were encountered:
Original bug ID: 18
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Markus Mottl
Version: 2.99
OS: SunOS 5.6
Submission from: alford.dai.ed.ac.uk (129.215.25.74)
Hello,
I am not sure whether this is a feature wish or a bug report:
It seems that OCaml parses polymorphic variants in such a
way that it is not possible to use keywords as variant names.
E.g.:
type t = [ `true ]
will lead to a syntax error. This is possibly too strict.
The preceding ` should allow the scanner to know that a
variant name follows immediately.
The current implementation allows whitespace and even
comments (!) between the
and the name of the variant. This "freedom" is rather confusing. I propose that the
and the variant name should stay together.Best regards,
Markus Mottl
The text was updated successfully, but these errors were encountered: