NonGNU-devel ELPA - idris-mode

idris-mode Atom Feed

Description
Major mode for editing Idris code
Latest
idris-mode-1.1.0.0.20251128.160804.tar (.sig), 2025-Nov-28, 470 KiB
Maintainer
Website
https://github.com/idris-hackers/idris-mode
Browse ELPA's repository
CGit or Gitweb
Badge

To install this package from Emacs, use package-install or list-packages.

Full description

This is an Emacs mode for editing Idris code. It requires the latest
version of Idris, and some features may rely on the latest Git version of
Idris.

Old versions

idris-mode-1.1.0.0.20251117.92531.tar.lz2025-Nov-1779.5 KiB
idris-mode-1.1.0.0.20251112.222515.tar.lz2025-Nov-1379.3 KiB
idris-mode-1.1.0.0.20251006.81904.tar.lz2025-Oct-0679.3 KiB
idris-mode-1.1.0.0.20250825.75833.tar.lz2025-Aug-2579.1 KiB
idris-mode-1.1.0.0.20250424.90824.tar.lz2025-Apr-2479.0 KiB
idris-mode-1.1.0.0.20240704.133442.tar.lz2024-Jul-1078.0 KiB
idris-mode-1.1.0.0.20230802.15444.tar.lz2024-Mar-3177.8 KiB
idris-mode-1.1.0.0.20221221.102008.tar.lz2022-Dec-2167.7 KiB
idris-mode-0.9.18.0.20211104.105506.tar.lz2021-Nov-0477.1 KiB
idris-mode-0.9.18.0.20210803.80451.tar.lz2021-Aug-2971.5 KiB

News

Changes

This file documents the user-interface changes in idris-mode, starting with release 0.9.19.

master (unreleased)

New features
  • cab781537f: Improved flycheck integration for Idris1 and Idris2.
  • c9b2a4bee6: Xref integration to support "jump to definition" features.
  • 103f1e5fbf: New command M-x idris-switch-to-last-idris-buffer to move point from Idris repl buffer to Idris source code buffer. It is opposite of M-x idris-switch-to-repl and uses same key binding by default (C-c C-z).
  • e350ed25a5: New command idris-compile-and-execute. Backport of idris2-compile-and-execute from https://github.com/idris-community/idris2-mode/pull/20/files with preserving backward compatibility for Idris 1.
  • e350ed25a5: New command idris-intro. Backport of idris2-intro from https://github.com/idris-community/idris2-mode/pull/21/files
  • cc098578fe: Restore position after case split with improved user experience. Related to https://github.com/idris-hackers/idris-mode/pull/465
  • 3cce2336b7: More granular configuration for enabling semantic source highlighting.
Changes
  • b6a5b2ec60: Kill Idris buffer and it's window if it was the only buffer in windows history.
  • d1a9171fd7: Jump to last Idris Code buffer when we quit buffer
  • cd734fdc7a: Write Idris repl history file to ~/.idris2/ directory.
  • 8329b73be8: Move "words of encouragement" from mini-buffer to Idris repl banner.
  • 71ab6a35e3: Update semantic source highlighting file only in changed code parts reducing buffer "flickering".
  • e5ef933366: Only display Idris repl buffer on load without moving the point.
  • 9e931bf1ff: Make idris-list-holes-on-load obsolete in favour of idris-list-holes command.
  • 446c67cec7: Ensure Idris connection established and current file loaded when running interactive command idris-thing-at-point
  • cb71c82e13: Make commands idris-pop-to-repl and idris-switch-to-output-buffer obsolete in favour of idris-switch-to-repl command.
  • 7697b8b95e: Make idris-print-definition-of-name obsolete in favour of idris-print-definition-of-name-at-point.
  • 600c8f584b: Make Idris info buffers derived from Help mode making handling them more align with general Emacs conventions.
Bug fixes
  • Fix idris-identifier-face looking wrong in org-mode blocks and the like.
  • 3c3a87c66c: Fix failure to find beginning of function type definition when lifting hole and function name contains underscore.
  • 62c3ad2b0d: Do not display unnecessary *idris-process* buffer when loading file.
  • 486be1b740: Improve idris-case-dwim to make case expression from hole in edge case point positions.
  • 8ff4a2d9d5 4f654a8b20ba6 c84ed5a733: Improve resetting state on idris-quit making it easier to switch Idris version or restart connection. ... ...