search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

Lexical argument shadows the dynamic variable #79

Closed andreas-roehler closed 6 years ago

andreas-roehler commented 6 years ago

Got several compiler warnings, will send a PQ fixing it.

fstar-mode.el:89:1:Warning: Lexical argument shadows the dynamic variable string fstar-mode.el:89:1:Warning: Lexical argument shadows the dynamic variable string fstar-mode.el:2327:1:Warning: Lexical argument shadows the dynamic variable string fstar-mode.el:2331:1:Warning: Lexical argument shadows the dynamic variable string

cpitclaudel commented 6 years ago

Hmm. What context are you testing this in? I can't repro these warnings in emacs 24.5, 25, or 26.

andreas-roehler commented 6 years ago

On 08.11.2017 21:06, Clément Pit-Claudel wrote:

Hmm. What context are you testing this in? I can't repro these warnings in emacs 24.5, 25, or 26.

Being on

GNU Emacs 25.1.91.1 (i686-pc-linux-gnu, GTK+ Version 3.14.5) of 2017-01-02

cpitclaudel commented 6 years ago

Proof General was incorrectly adding a (defvar string) a while ago, causing this warning. It was fixed on the PG side. Thank for the report!