Re: define-syntax can only be used with local variables

[Damien MATTEI <damien.mattei@oca.eu>]

but why is it working with one version of kawa and not another? or did i 
missed something in discussion?

Damien

Le 16/09/2021 à 12:02, phiroc--- via Kawa a écrit :

> Hello,
> here's an explanation :
>
> "The statement (set! *myglobal* "This does not") is executed in the transformer environment, not the normal environment. So it's not able to find *myglobal. We need to get both the expressions executed in the environment where *myglobal* is defined."
>
> cf. https://stackoverflow.com/questions/5509837/set-global-from-scheme-macro
>
>
>
> ----- Mail original -----
> De: "phiroc--- via Kawa" <kawa@sourceware.org>
> À: kawa@sourceware.org
> Envoyé: Mercredi 15 Septembre 2021 09:10:15
> Objet: Re: define-syntax can only be used with local variables
>
> Good morning,
> on Windows 10, using Kawa 3.1.1 and JDK 1.8.0_191, (nil2! y) fails to set y to '(0).
> Hence, there's probably a bug in the Kawa code (unless, in Scheme, macros are not supposed to set dynamic variables).
> Best regards,
> Philippe
>
> -----------------------------------------------
>
>
>
>
> (define-syntax nil2!
>      (syntax-rules ()
>          ((_ x)
>               (set! x '(0)))))
>
> (define y '(1))
> (nil2! y)
> (display y) (newline)
>
>
>
>
> ----- Mail original -----
> De: "Per Bothner" <per@bothner.com>
> À: "Damien MATTEI" <Damien.MATTEI@univ-cotedazur.fr>
> Cc: kawa@sourceware.org
> Envoyé: Mardi 14 Septembre 2021 21:30:55
> Objet: Re: define-syntax can only be used with local variables
>
>
>
> On 9/14/21 11:38 AM, Damien Mattei wrote:
>> message of compiler is big, here is a part:
>>
>> (for f in kawa/standard/SchemeScriptEngineFactory.java kawa/GuiConsole.java kawa/GuiInPort.java kawa/ReplPane.java kawa/ReplDocument.java kawa/ReplPaneOutPort.java gnu/kawa/models/Box.java gnu/kawa/models/Button.java gnu/kawa/models/Column.java gnu/kawa/models/DDimension.java gnu/kawa/models/Display.java gnu/kawa/models/DrawImage.java gnu/kawa/models/DrawShape.java gnu/kawa/models/FillShape.java gnu/kawa/models/Label.java gnu/kawa/models/Model.java gnu/kawa/models/ModelListener.java gnu/kawa/models/MenuItem.java gnu/kawa/models/Picture.java gnu/kawa/models/Pictures.java gnu/kawa/models/PictureToSvg.java gnu/kawa/models/PictureVisitor.java gnu/kawa/models/PBox.java gnu/kawa/models/Row.java gnu/kawa/models/Spacer.java gnu/kawa/models/StandardColor.java gnu/kawa/models/SVGUtils.java gnu/kawa/models/Text.java gnu/kawa/models/Viewable.java gnu/kawa/models/WeakListener.java gnu/kawa/models/Window.java gnu/kawa/models/WithComposite.java gnu/kawa/models/WithPaint.java
>> gnu/kawa/models/WithTransform.java  ; do echo ./$f; done) >>tmp-list
>> mv tmp-list tmp-sources1.list
>> javac -d . -classpath ".:.:$CLASSPATH" -g @tmp-sources1.list
>> ./gnu/lists/CharSeq.java:11: error: types CharSequence and Sequence<E> are incompatible;
>> public interface CharSeq
>>          ^
>>     interface CharSeq inherits abstract and default for isEmpty() from types CharSequence and Sequence
>>     where E is a type-variable:
>>       E extends Object declared in interface Sequence
> I'm trying the latest (gitlab) Kawa with the JDK 17 (general release today).
> I'm not seeing this error.  I'm seeing the warnings, most of which seem to
> be easily fixable (by using 'Integer.valueOf' instead of 'new Integer' etc);
> I'm working on those now.
>