I’m currently working with some code using camlp4r. When I use the Emacs buffer with Tuareg mode, and I call ocaml (Run OCaml REPL or Evaluate phrase), it’s ok when using ordinary/normal OCaml syntax (directive #camlp4o). However, when using the revised syntax (directive #camlp4r), which accepts o…

Luc, I don’t have an answer, but at least a little idea on how to debug (maybe): Maybe try running your ocaml toplevel inside a “M-x shell” buffer? If, in there, your camlp4r misbehaves, then a culprit could be comint. But I don’t expect it to misbehave. So, if it behaves correctly in a terminal…

Hi, Chet, OCaml revised syntax is perfectly supported via M-x shell (then ocaml command, then #camlp4r directive). If I intentionally put ;; instead of ; at the end of the phrase, then I get the same error message: Error:Parse error: [semi] expected after [str_item] (in [phrase]) Tuareg appears …

Hi, Tuareg does not support the revised syntax. sending a double semicolon is not factored out (so as of now cannot be readily changed, you have to redefine tuareg-interactive-send-input-end-of-phrase) but, more importantly, the differences in syntax mean that some phrases will be incorrectly dete…

Hi , Chris, I’ve done that in tuareg-interactive-send-input-end-of-phrase, but it’s not enough: (defun tuareg-interactive-send-input-end-of-phrase () (interactive) (goto-char (point-max)) ;; (unless (equal ";;" (save-excursion (caddr (smie-backward-sexp)))) ;; (insert ";;")) ;; ugly ha…

Are you sure you reevaluated the code (C-x C-e) or recompiled it? It works on my system.

I just do C-x C-e while being in the phrase (usually at the beginning), or I go in the OCaml buffer and do shift return to send the phrase to the Toplevel. Only a pure M-x comint-send-input works correctly. Regarding the modified tuareg.el : as I thought that all is interpreted in Emacs, I didn’t …

I just do C-x C-e while being in the phrase (usually at the beginning), or I go in the OCaml buffer and do shift return to send the phrase to the Toplevel. Only a pure M-x comint-send-input works correctly. I understood your aim as evaluating phrases in the toplevel (aka REPL). Evaluating phras…

I understood your aim as evaluating phrases in the toplevel (aka REPL). Evaluating phrases in a .ml buffer (C-x C-e) will likely not work as the phrase will be incorrectly detected. That’s why I changed all the ;; with ; in tuareg.el. But I may have done errors. ; also represents a sequence: or…

Yes, the “new (in 2007) and now dead/deprecated camlp4” is no longer supported. But camlp5 is supported (camlp5 is the new name for the “legacy and genuine camlp4”). Have you any idea for fixing this Tuareg/Emacs issue? It’s quite a common issue when we deal with OCaml dialects (MetaOCaml or any…

Camlp4r : using a correct end of phrase (single semicolon) in OCaml REPL

Learning

XVilka October 14, 2019, 9:47am 10

Note, that camlp4 is deprecated and discontinued.

Topic		Replies	Views
Has "let" syntax changed recently? And why are the REPL and compiler behaving differently? Learning	17	676	March 19, 2025
Terminate a line with ; or ;; or in or nothing Learning	28	4113	December 14, 2021
Tuareg and Caml modes for Emacs: what are the differences? Learning	17	3193	October 1, 2022
Double semicolon peculiarity Learning	19	11085	September 17, 2020
Why is declaring two variables with the sequence operator ; illegal? Learning	29	6094	October 14, 2019

Camlp4r : using a correct end of phrase (single semicolon) in OCaml REPL

Related topics