Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000018OCamlOCaml generalpublic2000-01-08 14:272002-11-06 16:35
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
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: 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

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0003275)
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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker