Fix: Make emacs mode respect implicit bindings - #465

Merged

Octachron merged 1 commit into

ocaml-community:masterfrom

bencef:emacs_implicit_bindings

Jul 22, 2025

bencef commented Oct 5, 2023

Contributor

No description provided.


          Fix: Make emacs mode respect implicit bindings

d7ae407

bencef requested a review from rgrinberg as a code owner

October 5, 2023 10:29

bencef commented Oct 5, 2023

Contributor Author

Propsed fix for #412

Octachron commented Jul 22, 2025

Member

The code is correct and I agree that it is better to align the emacs mode with the standard mode.

Octachron merged commit fba2620 into ocaml-community:master

Octachron added a commit to Octachron/opam-repository that referenced this pull request


          [new release] utop (2.16.0)

d130671

CHANGES:

* Add support for OCaml 5.4 (ocaml-community/utop#500, @Octachron, @anmonteiro)
* restore backtrace (ocaml-community/utop#503, fixes ocaml-community/utop#501, @ysalmon)
* support camlp$n preprocessor (ocaml-community/utop#486, fixes ocaml-community/utop#485, @aqjune)
* utop configuration and state files (utoprc, utop-history) are now always in the relevant
  utop subdirectory (ocaml-community/utop#484, fixes ocaml-community/utop#478, ocaml-community/utop#481 and ocaml-community/utop#499, @tuohy).
* fix emacs completion for qualified paths (Module.M.some_name) (ocaml-community/utop#497, fix ocaml-community/utop#455, @juergenhoetzel, @bbatsov)
* implicit bindings for emacs mode (ocaml-community/utop#465, fix ocaml-community/utop#412, @bencef)

Octachron added a commit to Octachron/opam-repository that referenced this pull request


          [new release] utop (2.16.0)

fa28b60

CHANGES:

* Add support for OCaml 5.4 (ocaml-community/utop#500, @Octachron, @anmonteiro)
* restore backtrace (ocaml-community/utop#503, fixes ocaml-community/utop#501, @ysalmon)
* support camlp$n preprocessor (ocaml-community/utop#486, fixes ocaml-community/utop#485, @aqjune)
* utop configuration and state files (utoprc, utop-history) are now always in the relevant
  utop subdirectory (ocaml-community/utop#484, fixes ocaml-community/utop#478, ocaml-community/utop#481 and ocaml-community/utop#499, @tuohy).
* fix emacs completion for qualified paths (Module.M.some_name) (ocaml-community/utop#497, fix ocaml-community/utop#455, @juergenhoetzel, @bbatsov)
* implicit bindings for emacs mode (ocaml-community/utop#465, fix ocaml-community/utop#412, @bencef)

Octachron added a commit to Octachron/opam-repository that referenced this pull request


          [new release] utop (2.16.0)

0a05a8b

CHANGES:

* Add support for OCaml 5.4 (ocaml-community/utop#500, @Octachron, @anmonteiro)
* restore backtrace (ocaml-community/utop#503, fixes ocaml-community/utop#501, @ysalmon)
* support camlp$n preprocessor (ocaml-community/utop#486, fixes ocaml-community/utop#485, @aqjune)
* utop configuration and state files (utoprc, utop-history) are now always in the relevant
  utop subdirectory (ocaml-community/utop#484, fixes ocaml-community/utop#478, ocaml-community/utop#481 and ocaml-community/utop#499, @tuohy).
* fix emacs completion for qualified paths (Module.M.some_name) (ocaml-community/utop#497, fix ocaml-community/utop#455, @juergenhoetzel, @bbatsov)
* implicit bindings for emacs mode (ocaml-community/utop#465, fix ocaml-community/utop#412, @bencef)

Octachron added a commit to Octachron/opam-repository that referenced this pull request


          [new release] utop (2.16.0)

dd36d1e

CHANGES:

* Add support for OCaml 5.4 (ocaml-community/utop#500, @Octachron, @anmonteiro)
* restore backtrace (ocaml-community/utop#503, fixes ocaml-community/utop#501, @ysalmon)
* support camlp$n preprocessor (ocaml-community/utop#486, fixes ocaml-community/utop#485, @aqjune)
* utop configuration and state files (utoprc, utop-history) are now always in the relevant
  utop subdirectory (ocaml-community/utop#484, fixes ocaml-community/utop#478, ocaml-community/utop#481 and ocaml-community/utop#499, @tuohy).
* fix emacs completion for qualified paths (Module.M.some_name) (ocaml-community/utop#497, fix ocaml-community/utop#455, @juergenhoetzel, @bbatsov)
* implicit bindings for emacs mode (ocaml-community/utop#465, fix ocaml-community/utop#412, @bencef)

Octachron added a commit to Octachron/opam-repository that referenced this pull request


          [new release] utop (2.16.0)

f43213a

CHANGES:

* Add support for OCaml 5.4 (ocaml-community/utop#500, @Octachron, @anmonteiro)
* restore backtrace (ocaml-community/utop#503, fixes ocaml-community/utop#501, @ysalmon)
* support camlp$n preprocessor (ocaml-community/utop#486, fixes ocaml-community/utop#485, @aqjune)
* utop configuration and state files (utoprc, utop-history) are now always in the relevant
  utop subdirectory (ocaml-community/utop#484, fixes ocaml-community/utop#478, ocaml-community/utop#481 and ocaml-community/utop#499, @tuohy).
* fix emacs completion for qualified paths (Module.M.some_name) (ocaml-community/utop#497, fix ocaml-community/utop#455, @juergenhoetzel, @bbatsov)
* implicit bindings for emacs mode (ocaml-community/utop#465, fix ocaml-community/utop#412, @bencef)

Octachron added a commit to Octachron/opam-repository that referenced this pull request


          [new release] utop (2.16.0)

4fec5d4

CHANGES:

* Add support for OCaml 5.4 (ocaml-community/utop#500, @Octachron, @anmonteiro)
* restore backtrace (ocaml-community/utop#503, fixes ocaml-community/utop#501, @ysalmon)
* support camlp$n preprocessor (ocaml-community/utop#486, fixes ocaml-community/utop#485, @aqjune)
* utop configuration and state files (utoprc, utop-history) are now always in the relevant
  utop subdirectory (ocaml-community/utop#484, fixes ocaml-community/utop#478, ocaml-community/utop#481 and ocaml-community/utop#499, @tuohy).
* fix emacs completion for qualified paths (Module.M.some_name) (ocaml-community/utop#497, fix ocaml-community/utop#455, @juergenhoetzel, @bbatsov)
* implicit bindings for emacs mode (ocaml-community/utop#465, fix ocaml-community/utop#412, @bencef)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet