Skip to content

Problem with emacs setup from docs #1883

Description

@MarkoSchuetz

I followed the instructions and added

(load-file "~/src/quint/editor-plugins/emacs/quint-mode.el")
(load-file "~/src/quint/editor-plugins/emacs/lsp-quint.el")
(require 'quint-mode)
(add-to-list 'auto-mode-alist '("\\.qnt" . quint-mode))
(use-package lsp-quint
  :ensure t
  :hook (quint-mode . lsp))

to my .emacs. Now I get

⛔ Error (use-package): Failed to install lsp-quint: Package ‘lsp-quint’ is unavailable

Then when I open a .qnt file this error is shown

-*- mode: compilation; default-directory: "~/tmp/" -*-
Comint started at Mon Feb  2 10:20:14

/usr/bin/npm -g --prefix ~/.emacs.d/.cache/lsp/npm/\@informalsystems/quint-language-server install \@informalsystems/quint-language-server
/usr/lib/node_modules/npm/lib/cli/validate-engines.js:29
    throw err
    ^

TypeError: LRU is not a constructor
    at Object.<anonymous> (/usr/lib/node_modules/npm/node_modules/semver/classes/range.js:188:15)
    at Module._compile (node:internal/modules/cjs/loader:1760:14)
    at Object..js (node:internal/modules/cjs/loader:1892:10)
    at Module.load (node:internal/modules/cjs/loader:1480:32)
    at Module._load (node:internal/modules/cjs/loader:1299:12)
    at TracingChannel.traceSync (node:diagnostics_channel:328:14)
    at wrapModuleLoad (node:internal/modules/cjs/loader:245:24)
    at Module.require (node:internal/modules/cjs/loader:1503:12)
    at require (node:internal/modules/helpers:152:16)
    at Object.<anonymous> (/usr/lib/node_modules/npm/node_modules/semver/functions/satisfies.js:1:15)

Node.js v25.2.1

Comint exited abnormally with code 7 at Mon Feb  2 10:20:14, duration 0.05 s

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions