Neocaml-mode (A modern Emacs major mode for OCaml) is looking for testers

[conroj]

@dbuenzli

Regarding your comments about investing time for the REPL mode. I have never been convinced by the experience provided by current modes (see this message for some reasons) I think that if you want nice REPL driven development with OCaml what you want is a proof general like experience which @Gopiandcode explored here.

In that other thread, the crux of the issue seems to be:

@dbuenzli

The problem is that the infrastructure is totally inapt at handling redefinitions in your code. Namely when you make changes to your definitions you want to revaluate all dependents to be sure they are actually using your redefinition and not the previous version previously sent to the toplevel.

I wondered if you’ve given org-babel a try. It’s somewhat similar to writing code blocks in MDX, in the sense that you can have a toplevel session that spans blocks (or not, if you prefer).

A simple example:

.emacs settings:

(org-babel-do-load-languages
 'org-babel-load-languages
 '((ocaml . t)))

; better ergonomics, but only for trusted code blocks!
(setq org-confirm-babel-evaluate nil)

babel-example.org:

#+begin_src ocaml                                                                                                                                                                                                                                                        
  let x = 3                                                                                                                                                                                                                                                            
#+end_src                                                                                                                                                                                                                                                                

#+RESULTS:
: 3                                                                                                                                                                                                                                                                      

#+begin_src ocaml                                                                                                                                                                                                                                                        
  let y = x + 1                                                                                                                                                                                                                                                          
#+end_src                                                                                                                                                                                                                                                                

#+RESULTS:
: 4                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           

The initial version of this buffer contained only the #+begin_src...#+end_src blocks, and the results were generated automatically and sequentially in response to C-c C-v C-b. It may not be desirable that later calls to this command reuse the session, but there are workarounds for that.