[Bug-kawa] [bug #13601] define-syntax and private namespaces problem

[Dean Ferreyra]

URL:
  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=13601>

                 Summary: define-syntax and private namespaces problem
                 Project: Kawa
            Submitted by: dferreyra
            Submitted on: Fri 07/01/2005 at 18:16
                Category: Type declaration and inference
                Severity: 3 - Normal
              Item Group: Unexpected result
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open

    _______________________________________________________

Details:

We're seeing a problem with define-syntax and private namespaces.

I've attached an example.  In it I define a macro, try-me-too, that uses
namespace ST.  If I add a module-export declaration that does not include the
namespace (thus making the namespace private), the compiler gives a warning
during the expansion of try-me-too, and at runtime I get the
UnboundLocationException error.  When I explicitly export the namespace, this
works.

I'm assuming here that I shouldn't have to export the namespace to get this to
work, similar to how things work now with unexported functions (the try-me
macro in the expansion).

This is with a recent pull from CVS.  Here's what I'm seeing:

% make PURE=1 default                                                         
                                      
rm -f *.class
CLASSPATH=.:~/kawa/cvs/kawa-pure-build/kawa-1.7.91.jar java kawa.repl
--warn-undefined-variable --module-static-run -C macro.scm
(compiling macro.scm)
CLASSPATH=.:~/kawa/cvs/kawa-pure-build/kawa-1.7.91.jar java kawa.repl
--warn-undefined-variable --module-static-run --main -C use.scm
(compiling use.scm)
macro.scm:17:6: warning - no declaration seen for ST:new
CLASSPATH=.:~/kawa/cvs/kawa-pure-build/kawa-1.7.91.jar java use
Exception in thread "main" java.lang.ExceptionInInitializerError
Caused by: gnu.mapping.UnboundLocationException: unbound location ST:new
        at gnu.mapping.Location.get(Location.java:67)
        at use.test(use.scm:7)
        at use.run(use.scm:5)
        at gnu.expr.ModuleBody.run(ModuleBody.java:44)
        at gnu.expr.ModuleBody.run(ModuleBody.java:32)
        at use.<clinit>(use.scm)
Got: 20
make: *** [run] Error 1






    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Fri 07/01/2005 at 18:16  Name: private-namespace.diff  Size: 619B   By:
dferreyra
Example that demonstrates this
<http://savannah.gnu.org/bugs/download.php?item_id=13601&item_file_id=2650>

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?func=detailitem&item_id=13601>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/