doomemacs / doomemacs/core

Couldn't enable `opam-switch-mode` in Coq projects

Open
#8,085 5 comments 2 reactions 0 assignees View on GitHub
is:bug needs-triage
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.