Bug in idris layer: Wrong type argument when loading file.

[jsoo1]

Description :octocat:

error in process filter: idris-filename-to-load: Wrong type argument: stringp, nil error in process filter: Wrong type argument: stringp, nil

This causes long delays in opening the holes buffer.

Reproduction guide :beetle:

• Load an idris file with , r

Observed behaviour: :eyes: :broken_heart: See the wrong type argument error in messages. Holes buffer takes a few seconds to load.

Expected behaviour: :heart: :smile: Fast holes buffer pops up with no error.

System Info :computer:

• OS: darwin
• Emacs: 26.1
• Spacemacs: 0.300.0
• Spacemacs branch: my-develop (rev. 79bbbe270)
• Graphic display: t
• Distribution: spacemacs
• Editing style: hybrid
• Completion: ivy
• Layers:

  ((auto-completion
  (haskell :variables haskell-completion-backend 'dante))
  c-c++ clojure coq csv dash docker
  (elm :variables elm-format-command "elm-format")
  (emacs-lisp :variables emacs-lisp-hide-namespace-prefix nil)
  emoji erlang evil-snipe fsharp
  (git :variables git-magit-status-fullscreen t)
  graphviz
  (gtags :variables gtags-enable-by-default t)
  (haskell :variables haskell-process-type 'stack-ghci haskell-enable-hindent-style "fundamental")
  html
  (ibuffer :variables ibuffer-group-buffers-by 'projects)
  idris ivy
  (java :variables java-backend 'ensime)
  (javascript :variables tern-command
           '("node" "/usr/local/bin/tern"))
  (latex :variables latex-build-command "LaTeX" latex-enable-auto-fill t latex-enable-folding t)
  lsp
  (markdown :variables markdown-live-preview-engine 'vmd)
  nginx nixos
  (org :variables org-enable-reveal-js-support t org-enable-github-support t org-projectile-file "TODOs.org")
  osx
  (python :variables python-backend 'lsp python-enable-yapf-format-on-save t)
  restclient rust
  (shell :variables shell-default-height 30 shell-default-position 'bottom)
  shell-scripts
  (spell-checking :variables spell-checking-enable-by-default nil)
  spotify sql swift syntax-checking systemd tmux treemacs twitter version-control vimscript vinegar windows-scripts yaml)

• System configuration features: NOTIFY ACL GNUTLS LIBXML2 ZLIB TOOLKIT_SCROLL_BARS NS MODULES THREADS

Backtrace :paw_prints:

Debugger entered--Lisp error: (wrong-type-argument stringp nil)
  file-name-directory(nil)
  idris-filename-to-load()
  idris-update-loaded-region(nil)
  #f(compiled-function (result) #<bytecode 0x415eb15d>)(nil)
  #f(compiled-function (result) #<bytecode 0x415eb191>)(nil)
  funcall(#f(compiled-function (result) #<bytecode 0x415eb191>) nil)
  (progn (set-buffer (symbol-value G11)) (funcall (symbol-value G12) result))
  (if (symbol-value G12) (progn (set-buffer (symbol-value G11)) (funcall (symbol-value G12) result)))
  (let* ((--cl-rest-- rand-8) (result (if (= (length --cl-rest--) 1) (car --cl-rest--) (signal 'wrong-number-of-arguments (list nil (length --cl-rest--)))))) (if (symbol-value G12) (progn (set-buffer (symbol-value  ;; ... elided

Additional information

Setting :noselect t for the idris buffers in idris/pre-init-popwin fixes the issue. I reported upstream in https://github.com/idris-hackers/idris-mode/issues/423 .

[github-actions[bot]]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Please let us know if this issue is still valid!