Re: re-using a module

[Viktor Pavlenko]

>>>>> "TTN" == Thien-Thi Nguyen <address@hidden> writes:

    TTN>  [...]

    TTN> there is a work in progress module (ice-9 gumm), snapshot at:

    TTN>  http://www.glug.org/snap/core-1-4/ice-9/gumm.scm

    TTN>  [...]

Thanks, I'll have a look.

    TTN> in any case, i take your main point to be that load failures
    TTN> should not result in inconsistent state in the first place;
    TTN> particular approaches to working around this bug are of
    TTN> secondary concern only.  probably 1.4.1.99 will have a fix --
    TTN> thanks for reminding me of this.

There is more to it. local-remove works only if the module haven't
been loaded. It's not possible to un-load a successfully loaded module
with it:

----------------------------------------------------------------->8
guile> (use-modules (ice-9 null))
guile> (local-remove '(app modules ice-9 null))
#f
guile> (use-modules (ice-9 null))
standard input:3:1: In expression (eval-case (# #) (else #)):
standard input:3:1: no code for module (ice-9 null)
ABORT: (misc-error)

Type "(backtrace)" to get more information or "(debug)" to enter the
debugger.
guile> 
-----------------------------------------------------------------8<

It would be cool if there was a way to reload modules too.

-- 
Viktor