Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

missing '#' characters #5506

Closed
vicuna opened this issue Feb 15, 2012 · 2 comments
Closed

missing '#' characters #5506

vicuna opened this issue Feb 15, 2012 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Feb 15, 2012

Original bug ID: 5506
Reporter: kosik
Assigned to: meyer
Status: closed (set by @damiendoligez on 2012-09-20T16:17:40Z)
Resolution: fixed
Priority: low
Severity: text
Version: 3.12.0
Target version: 4.00.1+dev
Category: documentation

Bug description

In the reference manual
http://caml.inria.fr/pub/docs/manual-ocaml/manual003.html#toc11

For consistency,

#load "camlp4o.cma";;

should also be prefixed with a black hash-character to indicate that in addition to # prompt, the user must type # also himself (like it is in the #load "dynlink.cma";; case)

Similarly, this line:

let lexer = make_lexer ["("; ")"; "+"; "-"; "*"; "/"];;

should in the text (showing toplevel-interaction) be prefixed with '#', just like:

#let token_stream = lexer(Stream.of_string "1.0 +x");;

@vicuna
Copy link
Author

vicuna commented Feb 19, 2012

Comment author: meyer

The issue comes from the way how manual is generated right now. Everything inside "caml_example" LaTeX environment will be evaulated by the toplevel. The leading # will be prepended to text initially, and everything else comes as it is. However - if the toplevel outputs any response, the # will appear again in the begining of next chunk of code. I believe it's a bug (or incosistency) in the manual generator.

@vicuna
Copy link
Author

vicuna commented Sep 20, 2012

Comment author: @damiendoligez

Both are fixed in 4.00.0.

@vicuna vicuna closed this as completed Sep 20, 2012
@vicuna vicuna added this to the 4.00.1 milestone Mar 14, 2019
@vicuna vicuna added the bug label Mar 20, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant