| Anonymous | Login | Signup for a new account | 2013-05-26 11:13 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 | |||||||
| 0005261 | OCaml | OCaml documentation | public | 2011-05-02 11:04 | 2012-02-15 13:26 | |||||||
| Reporter | rixed | |||||||||||
| Assigned To | ||||||||||||
| Priority | normal | Severity | minor | Reproducibility | N/A | |||||||
| Status | resolved | Resolution | fixed | |||||||||
| Platform | OS | OS Version | ||||||||||
| Product Version | 3.12.0 | |||||||||||
| Target Version | Fixed in Version | |||||||||||
| Summary | 0005261: Parse errors reported by toplevel for code of section 1.8 | |||||||||||
| Description | In 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. " | |||||||||||
| Tags | No tags attached. | |||||||||||
| Attached Files | ||||||||||||
Relationships |
||||||||||||||||||||||||||
|
||||||||||||||||||||||||||
Notes |
|
|
(0005875) doligez (manager) 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 (manager) 2011-07-29 17:20 |
#load: fixed on 2011-07-29 Please reopen if the encoding problem is real. |
|
(0006870) doligez (manager) 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 (manager) 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 |
| Copyright © 2000 - 2011 MantisBT Group |