0000018: keywords and polymorphic variants

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000018

OCaml

OCaml general

public

2000-01-08 14:27

2002-11-06 16:35

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

closed

Resolution

won't fix

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0000018: keywords and polymorphic variants

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

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:14	administrator	New Issue

Notes
(0003275) administrator (administrator) 2002-11-06 16:35	It is better to reserve keywords in all contexts.

Relationships