Re: New syntax: (: MODULE-NAME VARIABLE-NAME)

[Neil Jerram]

>>>>> "Marius" == Marius Vollmer <address@hidden> writes:

    Marius> Neil Jerram <address@hidden> writes:
    >> OK.  One other specification query: will `:' only work if the relevant
    >> binding is exported?

    Marius> Yes, I think that's more disciplined.

For most uses I agree, but what about debugging (or introspection)
code, where it might be useful to say things like

    (break! (: (ice-9 whatnot) internal-proc))

where internal-proc is not exported.  Obviously a `:'-like macro for
non-exported bindings could be implemented separately (I think it just
needs resolve-module instead of resolve-interface), but I wonder if
it's worth designing an interface now that neatly covers both
possibilities.

For example:
    (: MOD-NAME VAR-NAME)  -> look up from exported bindings only
    (: MOD-NAME VAR-NAME internal) -> look up from all bindings

Regards,
        Neil