| Anonymous | Login | Signup for a new account | 2013-05-24 22:12 CEST |  |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||
| 0005882 | OCaml | OCaml documentation | public | 2013-01-10 07:06 | 2013-01-10 08:08 | |||
| Reporter | norm | |||||||
| Assigned To | garrigue | |||||||
| Priority | normal | Severity | minor | Reproducibility | always | |||
| Status | closed | Resolution | won't fix | |||||
| Platform | Mac | OS | OS X | OS Version | 10.4.7 | |||
| Product Version | ||||||||
| Target Version | Fixed in Version | |||||||
| Summary | 0005882: Too permissive BNF | |||||||
| Description | The BNF produces "type s = [int]" which is probably a mistake. See http://cap-lore.com/Languages/ocaml/bugs/a.html [^] for the complete production tree. | |||||||
| Steps To Reproduce | OCaml version 4.00.1 # type s = [int];; Error: Syntax error # | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
 Relationships |
||||||
|
||||||
 Relationships |
|
Notes |
|
|
(0008732) garrigue (manager) 2013-01-10 08:08 |
As explained in PR#3835, this is actually valid for the specification, but not accepted due to a limitation of LR(1) parsing. The workaround is to write type s = [ | int ] (which will of course fail in this case since int is not a polymorphic variant type). There is no incentive to fix this bug, as the above definition is not useful anyway. |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2013-01-10 07:06 | norm | New Issue | |
| 2013-01-10 08:03 | garrigue | Relationship added | duplicate of 0003835 |
| 2013-01-10 08:08 | garrigue | Note Added: 0008732 | |
| 2013-01-10 08:08 | garrigue | Status | new => closed |
| 2013-01-10 08:08 | garrigue | Assigned To | => garrigue |
| 2013-01-10 08:08 | garrigue | Resolution | open => won't fix |
|
Issue History |
| Copyright © 2000 - 2011 MantisBT Group |
 |