Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001627OCamlOCaml generalpublic2003-04-09 09:122003-08-20 11:26
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001627: `X is a pattern
DescriptionThe following is accepted by the ocaml toplevel:

   match `X with `X -> 3;;

However, the documented grammar for patterns at

   http://caml.inria.fr/ocaml/htmlman/manual014.html [^]

says that occurrences of `tag-name have to be followed by a pattern.
This is not the case for the above expression. The above expression
is obviously good, so the problem is with the document. I think the
production for pattern should have this added:

   pattern ::= ...
             | `tag-name

--
Tim Freeman tim@fungible.com
Which is worse: ignorance or apathy? Who knows? Who cares?
GPG public key fingerprint ECDF 46F8 3B80 BB9E 575D 7180 76DF FE00 34B1 5C78

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002680)
administrator (administrator)
2003-08-20 11:26

`tag-name is a production of the "constant" non-terminal, thus it falls in the
"pattern: constant" production.

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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker