Couldn't enable `opam-switch-mode` in Coq projects
- Dominant language
- Emacs Lisp
- Stars
- 22.7k
- Forks
- 3.1k
- Avg merge
- 10h 46m
- Merged PRs (30d)
- 4
Description
### I confirm that...
- [X] I have searched the [issue tracker](https://github.com/doomemacs/doomemacs/issues), [documentation](https://docs.doomemacs.org), [FAQ](https://docs.doomemacs.org/-/faq), [Discourse](https://discourse.doomemacs.org), and [Google](https://google.com), in case this issue has already been reported/resolved.
- [X] I have read "[How to Debug Issues](https://doomemacs.org/d/how2debug)", and will use it to provide as much information about this issue as possible.
- [X] The issue can be reproduced on the **latest** available commit of Doom.
- [X] The issue can be reproduced on a stable release of Emacs, such as 27, 28, or 29. *(Unstable versions end in .50, .60, or .9x)*
### Expected behavior
When I enable `opam-switch-mode` in a Coq project, there shouldn't be any errors.
### Current behavior
I got `opam-switch-set-switch: Symbol’s function definition is void: tuareg-opam-current-compiler`.
This bug seems to have been introduced after #7806, which calls this function when first loading `opam-switch-mode`, regardless of whether the `tuareg` package (the OCaml mode) is loaded.
While opam is commonly used for OCaml projects, it is also used in some Coq projects.
### Steps to reproduce
1. Enable `coq` module `config.el`
2. Open a `.v` file in a Coq project
3. `M-x opam-switch-mode`
### System Information
https://pastebin.com/fEe1nJcK
Contributor guide
Assessment
This issue has not been assessed yet.