Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001627OCaml~DO NOT USE (was: OCaml general)public2003-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
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