Utop autocompletion on Yosemite Mac

"[email protected] [ocaml_beginners]" <[email protected]> 05 Jul 2016 10:58:16 -0700
Newsgroups gmane.comp.lang.ocaml.beginners
Message-ID <[email protected]>
Much as in this Stackoverflow question(http://stackoverflow.com/questions/28671507/autocompletion-in-utop), autocompletion does not seem to work well in utop on my Yosemite mac.
 

   The TAB key does produce the common prefix to all possible autocompletions.
  However, I cannot move inside the autocompletion bar.
 

 The documentation says I should use M-left and M-right (I assume "left" and "right" mean the left and right arrow on my keyboard ?) but ALT+(left arrow) or ALT+(right arrow) do nothing. An answer to the above question suggested using ESC in place of ALT, but on my machine this seems to work or not work randomly. 

 

   I also tried following the instructions at https://github.com/diml/utop#key-bindings https://github.com/diml/utop#key-bindings , put the newly created lambda-term-inputrc in my .opam/ directory, and opened a new utop, excepting then CTRL+(left arrow) and CTRL+(right arrow) to allow me to move inside the autocompletion bar.  But nothing had changed.
 

    Any help appreciated.