Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005261OCamlOCaml documentationpublic2011-05-02 11:042013-08-31 12:46
Reporterrixed 
Assigned To 
PrioritynormalSeverityminorReproducibilityN/A
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.12.0 
Target VersionFixed in Version 
Summary0005261: Parse errors reported by toplevel for code of section 1.8
DescriptionIn section 1.8 (Pretty-printing and parsing), the code samples result in various toplevel errors.
According to Rémi Vanicat's message on ocaml_beginners ML of the 02 May 2011:

" The first problem is a lacking #load "dynlink.cma";; before
the #load "camlp4o.cma";; Then there is an encoding problem: the ' in
parser should be the ' char and not the ??? char. "

TagsNo tags attached.
Attached Files

- Relationships
related to 0005497closed Ocaml source-code examples are not "copy-paste-able" (if they employ apostrophe-character) 
related to 0005496closedprotz Incomplete information in Section 7.2 of the Reference Manual 
parent of 0005264closed Error in example code in section 1.8 
has duplicate 0005132closed machine-generated errors in the manual! 
has duplicate 0004833closed The documentation fails to mention that you must #load "dynlink.cma";; 

-  Notes
(0005875)
doligez (administrator)
2011-05-02 13:28

Are you sure about the encoding problem? Just adding the missing #load seems to fix the problem here.
(0005876)
rixed (reporter)
2011-05-02 14:23

No, I'm not. Looking at it again I cannot find any encoding problem. I'm reporting your question to Rémi on the beginners list; feel free to close the bug if it's fixed after the #load, and I will reopen it if there is an actual issue with the encoding.
(0005877)
rixed (reporter)
2011-05-02 14:32

After another look I think I've understood the problem: apostrophes are encoded with "’", but should be "'" or even simpler "'"
Copy and pasting with forefox works as expected, but maybe some other browser might output a different character?
(0006069)
doligez (administrator)
2011-07-29 17:20

#load: fixed on 2011-07-29
Please reopen if the encoding problem is real.
(0006870)
doligez (administrator)
2012-02-01 13:54

The encoding problem is confirmed. The example displays correctly, but when you copy and paste it to a terminal, the ' character is not an ASCII quote.
(0006927)
doligez (administrator)
2012-02-15 13:26

Encoding problem fixed in trunk [3.13.0] (commit 12157).

- Issue History
Date Modified Username Field Change
2011-05-02 11:04 rixed New Issue
2011-05-02 13:28 doligez Note Added: 0005875
2011-05-02 13:28 doligez Status new => feedback
2011-05-02 13:28 doligez Resolution open => fixed
2011-05-02 13:28 doligez Fixed in Version => 3.13.0+dev
2011-05-02 14:23 rixed Note Added: 0005876
2011-05-02 14:32 rixed Note Added: 0005877
2011-05-11 16:52 xclerc Relationship added has duplicate 0005264
2011-05-11 16:53 xclerc Relationship deleted has duplicate 0005264
2011-05-11 16:53 xclerc Relationship added parent of 0005264
2011-05-20 17:58 doligez Relationship added has duplicate 0005132
2011-05-31 16:08 doligez Relationship added has duplicate 0004833
2011-07-29 17:20 doligez Note Added: 0006069
2011-07-29 17:20 doligez Status feedback => closed
2012-02-01 13:54 doligez Note Added: 0006870
2012-02-01 13:54 doligez Status closed => confirmed
2012-02-01 13:54 doligez Resolution fixed => open
2012-02-01 13:54 doligez Fixed in Version 3.13.0+dev =>
2012-02-01 13:55 doligez Relationship added related to 0005497
2012-02-01 13:59 protz Relationship added related to 0005496
2012-02-15 13:26 doligez Note Added: 0006927
2012-02-15 13:26 doligez Status confirmed => resolved
2012-02-15 13:26 doligez Resolution open => fixed
2013-08-31 12:46 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker