Skip to content

remove warnings in emacs pluging - #1491

Open
Alidra wants to merge 1 commit into
Deducteam:masterfrom
Alidra:emacs_warnings2
Open

remove warnings in emacs pluging#1491
Alidra wants to merge 1 commit into
Deducteam:masterfrom
Alidra:emacs_warnings2

Conversation

@Alidra

@Alidra Alidra commented Aug 24, 2026

Copy link
Copy Markdown
Member

This PR adresses issue #1364.
To remove warnings the following modifications have been perfomed :

  • variable short-diags-enabled has been introduced using defvar istead of setq
  • The SMIE expression of the grammar of lambdapi has been refactored
    Closes issue : warnings with emacs mode #1364

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant