Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005978OCamlOCaml documentationpublic2013-04-09 05:582013-04-10 13:52
Reporterhongboz 
Assigned To 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005978: the BNF for expression seems to be incorrect
Descriptionexpr :=
   | value-path (* 1 *)
   | ....
   | inst-var-name (* 2 *)
production 2 overlaps with production 1, and I did not see the production 2 in the yacc file either.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0009046)
garrigue (manager)
2013-04-09 08:05

This overlap does not make the BNF in the manual incorrect.
Actually, the BNFs in the manual intentionally choose a more semantical approach, and allow many overlaps. In this case the ambiguity is resolved during type-checking.
(0009061)
doligez (administrator)
2013-04-10 13:52

As jacques says, the BNF in the manual is ambiguous in many places, and that is by design. It's a documentation, not an implementation.

As a side remark, if you want to do anything serious with the BNF, you should make sure that you are using the one from the SVN version of the manual (v4.01), not the latest released one (v4.00). I have made many fixes between the two.

- Issue History
Date Modified Username Field Change
2013-04-09 05:58 hongboz New Issue
2013-04-09 08:05 garrigue Note Added: 0009046
2013-04-10 13:52 doligez Note Added: 0009061
2013-04-10 13:52 doligez Status new => closed
2013-04-10 13:52 doligez Resolution open => no change required


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker