Unbound variable warning/exception

Unbound variable warning/exception

[Christopher Lam]

Hi guilers, I saw in guix the incredibly useful unbound-variable exception
printer written by Ludovic. I've adapted for use in gnucash as
https://github.com/Gnucash/gnucash/commit/6f951784 -- there are now in
guile 3.0.4 many more unbound-var warnings than in 3.0.2 -- wouldn't it be
a useful hint to add to the warning in core guile as well?

Re: Unbound variable warning/exception

[Aleix Conchillo Flaqué]

On Fri, Dec 18, 2020 at 5:26 PM Christopher Lam
<christopher.lck@gmail.com> wrote:
>
> Hi guilers, I saw in guix the incredibly useful unbound-variable exception
> printer written by Ludovic. I've adapted for use in gnucash as
> https://github.com/Gnucash/gnucash/commit/6f951784 -- there are now in
> guile 3.0.4 many more unbound-var warnings than in 3.0.2 -- wouldn't it be
> a useful hint to add to the warning in core guile as well?

Wow, this is great!

This should definitely be added to guile by default.

Aleix

Re: Unbound variable warning/exception

[Massimiliano Gubinelli]

Hi all,

nice piece of code!

About these "possible unbounded variable" warnings, I have for GNU TeXmacs the opposite need: how can I turn them off? :)

I was also curious to ask: which are currently the major applications of GNU Guile (as extension language)? For example, in TeXmacs we have ~110.000 lines of scheme (still Guile 1.8).  I wanted to give a look around to understand what are good design patterns to use Guile 2+ as extension language.

Best,
Massimiliano

> On 19. Dec 2020, at 02:46, Aleix Conchillo Flaqué <aconchillo@gmail.com> wrote:
> 
> On Fri, Dec 18, 2020 at 5:26 PM Christopher Lam
> <christopher.lck@gmail.com> wrote:
>> 
>> Hi guilers, I saw in guix the incredibly useful unbound-variable exception
>> printer written by Ludovic. I've adapted for use in gnucash as
>> https://github.com/Gnucash/gnucash/commit/6f951784 -- there are now in
>> guile 3.0.4 many more unbound-var warnings than in 3.0.2 -- wouldn't it be
>> a useful hint to add to the warning in core guile as well?
> 
> Wow, this is great!
> 
> This should definitely be added to guile by default.
> 
> Aleix
> 

Re: Unbound variable warning/exception

[Christopher Lam]

You can remove these "possibly unbound variable" warning by using modules
appropriately. It's not easy and tedious but necessary to achieve better
module hygiene.

See changes in https://github.com/Gnucash/gnucash/pull/831

On Sat, 19 Dec 2020, 6:08 pm Massimiliano Gubinelli, <m.gubinelli@gmail.com>
wrote:

> Hi all,
>
> nice piece of code!
>
> About these "possible unbounded variable" warnings, I have for GNU TeXmacs
> the opposite need: how can I turn them off? :)
>
> I was also curious to ask: which are currently the major applications of
> GNU Guile (as extension language)? For example, in TeXmacs we have ~110.000
> lines of scheme (still Guile 1.8).  I wanted to give a look around to
> understand what are good design patterns to use Guile 2+ as extension
> language.
>
> Best,
> Massimiliano
>
> > On 19. Dec 2020, at 02:46, Aleix Conchillo Flaqué <aconchillo@gmail.com>
> wrote:
> >
> > On Fri, Dec 18, 2020 at 5:26 PM Christopher Lam
> > <christopher.lck@gmail.com> wrote:
> >>
> >> Hi guilers, I saw in guix the incredibly useful unbound-variable
> exception
> >> printer written by Ludovic. I've adapted for use in gnucash as
> >> https://github.com/Gnucash/gnucash/commit/6f951784 -- there are now in
> >> guile 3.0.4 many more unbound-var warnings than in 3.0.2 -- wouldn't it
> be
> >> a useful hint to add to the warning in core guile as well?
> >
> > Wow, this is great!
> >
> > This should definitely be added to guile by default.
> >
> > Aleix
> >
>
>

Re: Unbound variable warning/exception

[Massimiliano Gubinelli]

Thanks, there is indeed some interesting and useful code there. 

However I would prefer not to make large changes in this moment.  I removed most of the warnings by proper use of modules but we still have some circular dependencies among modules and these are sources of some warning which for the moment I just want to silence. I think as long as they are warnings there should be the option to suppress them. There is no error in the code, but the current way circular module dependence in guile is handled does not recognize it... 

Best,
Max



> On 19. Dec 2020, at 14:07, Christopher Lam <christopher.lck@gmail.com> wrote:
> 
> You can remove these "possibly unbound variable" warning by using modules appropriately. It's not easy and tedious but necessary to achieve better module hygiene.
> 
> See changes in https://github.com/Gnucash/gnucash/pull/831 <https://github.com/Gnucash/gnucash/pull/831>
> On Sat, 19 Dec 2020, 6:08 pm Massimiliano Gubinelli, <m.gubinelli@gmail.com <mailto:m.gubinelli@gmail.com>> wrote:
> Hi all,
> 
> nice piece of code!
> 
> About these "possible unbounded variable" warnings, I have for GNU TeXmacs the opposite need: how can I turn them off? :)
> 
> I was also curious to ask: which are currently the major applications of GNU Guile (as extension language)? For example, in TeXmacs we have ~110.000 lines of scheme (still Guile 1.8).  I wanted to give a look around to understand what are good design patterns to use Guile 2+ as extension language.
> 
> Best,
> Massimiliano
> 
> > On 19. Dec 2020, at 02:46, Aleix Conchillo Flaqué <aconchillo@gmail.com <mailto:aconchillo@gmail.com>> wrote:
> > 
> > On Fri, Dec 18, 2020 at 5:26 PM Christopher Lam
> > <christopher.lck@gmail.com <mailto:christopher.lck@gmail.com>> wrote:
> >> 
> >> Hi guilers, I saw in guix the incredibly useful unbound-variable exception
> >> printer written by Ludovic. I've adapted for use in gnucash as
> >> https://github.com/Gnucash/gnucash/commit/6f951784 <https://github.com/Gnucash/gnucash/commit/6f951784> -- there are now in
> >> guile 3.0.4 many more unbound-var warnings than in 3.0.2 -- wouldn't it be
> >> a useful hint to add to the warning in core guile as well?
> > 
> > Wow, this is great!
> > 
> > This should definitely be added to guile by default.
> > 
> > Aleix
> > 
> 

Re: Unbound variable warning/exception

[Ludovic Courtès]

Hi,

Aleix Conchillo Flaqué <aconchillo@gmail.com> skribis:

> On Fri, Dec 18, 2020 at 5:26 PM Christopher Lam
> <christopher.lck@gmail.com> wrote:
>>
>> Hi guilers, I saw in guix the incredibly useful unbound-variable exception
>> printer written by Ludovic. I've adapted for use in gnucash as
>> https://github.com/Gnucash/gnucash/commit/6f951784 -- there are now in
>> guile 3.0.4 many more unbound-var warnings than in 3.0.2 -- wouldn't it be
>> a useful hint to add to the warning in core guile as well?
>
> Wow, this is great!
>
> This should definitely be added to guile by default.

In Guix, the hint is displayed by an 'unbound-variable exception
handler, not by the 'unbound-variable printer; I think doing it in the
printer could be confusing.

Perhaps what could be done is export an 'unbound-variable handler that
does all this, and have the REPL use it?

Thanks,
Ludo’.

Re: Unbound variable warning/exception

[Christopher Lam]

The exception printer would be a good one to upgrade.

The dilemma is whether to search available modules in the current
repository, or in the whole of core guile. Do we want to show e.g. "Unbound
variable: vector-for-each. Did you forget (use-modules (srfi srfi-43))" ?

On Sun, 20 Dec 2020 at 21:36, Ludovic Courtès <ludo@gnu.org> wrote:

> Hi,
>
> Aleix Conchillo Flaqué <aconchillo@gmail.com> skribis:
>
> > On Fri, Dec 18, 2020 at 5:26 PM Christopher Lam
> > <christopher.lck@gmail.com> wrote:
> >>
> >> Hi guilers, I saw in guix the incredibly useful unbound-variable
> exception
> >> printer written by Ludovic. I've adapted for use in gnucash as
> >> https://github.com/Gnucash/gnucash/commit/6f951784 -- there are now in
> >> guile 3.0.4 many more unbound-var warnings than in 3.0.2 -- wouldn't it
> be
> >> a useful hint to add to the warning in core guile as well?
> >
> > Wow, this is great!
> >
> > This should definitely be added to guile by default.
>
> In Guix, the hint is displayed by an 'unbound-variable exception
> handler, not by the 'unbound-variable printer; I think doing it in the
> printer could be confusing.
>
> Perhaps what could be done is export an 'unbound-variable handler that
> does all this, and have the REPL use it?
>
> Thanks,
> Ludo’.
>
>
>

Re: Unbound variable warning/exception

[Jérémy Korwin-Zmijowski]

Hello !

Looking in the all of core Guile could save time!
I can see already an emacs geiser trick to add it automatically haha.
Auto-completion + auto-use-module = Awesome!

Cheers,

Jérémy

Le 21 décembre 2020 00:11:38 GMT+01:00, Christopher Lam <christopher.lck@gmail.com> a écrit :
>The exception printer would be a good one to upgrade.
>
>The dilemma is whether to search available modules in the current
>repository, or in the whole of core guile. Do we want to show e.g. "Unbound
>variable: vector-for-each. Did you forget (use-modules (srfi srfi-43))" ?
>
>On Sun, 20 Dec 2020 at 21:36, Ludovic Courtès <ludo@gnu.org> wrote:
>
>> Hi,
>>
>> Aleix Conchillo Flaqué <aconchillo@gmail.com> skribis:
>>
>> > On Fri, Dec 18, 2020 at 5:26 PM Christopher Lam
>> > <christopher.lck@gmail.com> wrote:
>> >>
>> >> Hi guilers, I saw in guix the incredibly useful unbound-variable
>> exception
>> >> printer written by Ludovic. I've adapted for use in gnucash as
>> >> https://github.com/Gnucash/gnucash/commit/6f951784 -- there are now in
>> >> guile 3.0.4 many more unbound-var warnings than in 3.0.2 -- wouldn't it
>> be
>> >> a useful hint to add to the warning in core guile as well?
>> >
>> > Wow, this is great!
>> >
>> > This should definitely be added to guile by default.
>>
>> In Guix, the hint is displayed by an 'unbound-variable exception
>> handler, not by the 'unbound-variable printer; I think doing it in the
>> printer could be confusing.
>>
>> Perhaps what could be done is export an 'unbound-variable handler that
>> does all this, and have the REPL use it?
>>
>> Thanks,
>> Ludo’.
>>
>>
>>

-- 
Envoyé de mon appareil Android avec Courriel K-9 Mail. Veuillez excuser ma brièveté.