Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000018OCaml~DO NOT USE (was: OCaml general)public2000-01-08 14:272002-11-06 16:35
Assigned To 
StatusclosedResolutionwon't fix 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000018: keywords and polymorphic variants
DescriptionFull_Name: Markus Mottl
Version: 2.99
OS: SunOS 5.6
Submission from: (


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.


  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

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
administrator (administrator)
2002-11-06 16:35

It is better to reserve keywords in all contexts.

- Issue History
Date Modified Username Field Change
2005-11-18 10:14 administrator New Issue
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-03 17:55 doligez Category -OCaml general => -(deprecated) general
2017-03-03 18:01 doligez Category -(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04 doligez Category ~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker