gnu-emacs-sources
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[NonGNU ELPA] Sweeprolog version 0.9.4


From: ELPA update
Subject: [NonGNU ELPA] Sweeprolog version 0.9.4
Date: Tue, 06 Dec 2022 17:04:21 -0500

Version 0.9.4 of package Sweeprolog has just been released in NonGNU ELPA.
You can now find it in M-x list-packages RET.

Sweeprolog describes itself as:

  ===================
  Embedded SWI-Prolog
  ===================

More at https://elpa.nongnu.org/nongnu/sweeprolog.html

## Summary:

                   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
                    SWEEP: SWI-PROLOG EMBEDDED IN EMACS

                                Eshel Yaron
                             me@eshelyaron.com
                   ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━


  This manual describes the Emacs package `sweep' (or `sweeprolog'), which
  provides an embedded SWI-Prolog runtime inside of Emacs.

  Table of Contents
  ─────────────────

## Recent NEWS:

             ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
              SWEEP NEWS – HISTORY OF USER-VISIBLE CHANGES
             ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━


This file contains the release notes for `sweep', an embedding of
SWI-Prolog in Emacs.

For further details, please consult the manual:
<https://eshelyaron.com/sweep.html>.


Version 0.9.4 on 2022-12-06
═══════════════════════════

New minor mode for moving to holes with `TAB'
─────────────────────────────────────────────

  This version introduces a new minor mode
  `sweeprolog-forward-hole-on-tab-mode', which binds `TAB' to a command
  that moves either indents the current line or moves to the next hole
  in the buffer, in a DWIM fashion.


Fixes and minor improvements
────────────────────────────

  • Automatic indentation is improved to accommodate for DCG RHS
    contexts and SSU guards.
  • `sweeprolog-identifier-at-point' now qualifies head terms with
    according to the current module (e.g. `foo:bar/2' is returned when
    point is over `bar(_, _)' in module `foo').


Version 0.9.3 on 2022-11-27
═══════════════════════════

Added repeat keymap for `sweeprolog-forward-hole' (Emacs 28+)
─────────────────────────────────────────────────────────────

  This allows repeating the command after the first invocation with
  `TAB'.


Predicate completion now names inserted holes based on the predicate’s 
documentation
────────────────────────────────────────────────────────────────────────────────────

  Completing predicate invocations with `C-M-i' (`completion-at-point')
  now infers specific names for the holes inserted as argument
  placeholders based on the predicate’s `PlDoc' specification, when
  present.


Version 0.9.2 on 2022-11-26
═══════════════════════════

New command `sweeprolog-update-dependencies'
────────────────────────────────────────────

  Bound to `C-c C-u' in `sweeprolog-mode' buffers, this command analyzes
  the current buffer looking for calls to implicitly autoloaded
  predicates, and adds or updates `autoload/2' and `use_module/2'
  directives to make the dependencies on these predicates explicit.


New user option `sweeprolog-note-implicit-autoloads'
────────────────────────────────────────────────────

  Boolean flag, when non-nil `flymake' also reports implicitly
  autoloaded predicates in `sweeprolog-mode' buffers.  Enabled by
  default.


Version 0.9.1 on 2022-11-25
═══════════════════════════

Predicate completion adjusts candidates arity according to the context
──────────────────────────────────────────────────────────────────────

  Completing predicate invocations with `completion-at-point' now takes
  into account the number of arguments that will be implicitly added to
  the created predicate call by the context, and adjusts the completion
  candidates appropriately.  This applies both to DCG non-terminal
  bodies (where two implicit arguments are normally added to all
  predicate invocations), and to meta-calls such as `include(foo, L0,
  L)' where the sole argument of `foo/1' is implicitly passed by
  `include/3'.


Variable highlighting now excludes anonymous variables
──────────────────────────────────────────────────────

  Unlike other variables, occurrences of anonymous variables (`_') are
  no longer highlighted when the cursor enters one, since being
  anonymous they are semantically unrelated to each other.


Version 0.9.0 on 2022-11-23
═══════════════════════════

New command for creating `PlUnit' test blocks
─────────────────────────────────────────────

  The new command `sweeprolog-plunit-testset-skeleton', accessible from
  the `Sweep' menu-bar entry, inserts a template for a block of unit
  tests at the location of the cursor.


Fixes
─────

  • Fixed and added regression tests for an issue where
    `sweeprolog-beginning-of-next-top-term' would get confused by
    multi-line comments starting at the beginning of a line.


Version 0.8.13 on 2022-11-23
════════════════════════════

  This is a bug-fix release, solving an issue introduced in version
  0.8.12 where highlighting goals qualified with a variable module would
  throw an error.


Version 0.8.12 on 2022-11-22
════════════════════════════

`sweeprolog-top-level-signal-current' uses the classic top-level interrupt 
interface
────────────────────────────────────────────────────────────────────────────────────

  `sweeprolog-top-level-signal-default-goal' is now set to call the new
  SWI-Prolog built-in predicate `prolog_interrupt/0'.  This predicate
  invokes the classic SWI-Prolog top-level interrupt interface similarly
  to pressing `C-c' in a terminal-bound top-level.


New user option `sweeprolog-highlight-holes'
────────────────────────────────────────────

  When non-nil (the default), holes in Prolog buffers are highlighted …
  …

reply via email to

[Prev in Thread] Current Thread [Next in Thread]