unofficial mirror of bug-guile@gnu.org 
 help / color / mirror / Atom feed
* [bug #30117] Funky name for one of the root modules
@ 2010-06-11 15:39 Jose Antonio Ortega Ruiz
  2010-06-14  9:52 ` Andy Wingo
  0 siblings, 1 reply; 4+ messages in thread
From: Jose Antonio Ortega Ruiz @ 2010-06-11 15:39 UTC (permalink / raw)
  To: Jose Antonio Ortega Ruiz, bug-guile


URL:
  <http://savannah.gnu.org/bugs/?30117>

                 Summary: Funky name for one of the root modules
                 Project: Guile
            Submitted by: jao
            Submitted on: Fri 11 Jun 2010 03:39:11 PM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

If one obtains the list of root modules via

   (module-submodules (resolve-module '() #f)


one of the returned modules has a funny name: 

 (#{\ g1778}#)


I'm not sure if this is really a bug, but AFAICS, this module does not have a
proper name, does it?





    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?30117>

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




^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2010-09-04 20:23 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2010-06-11 15:39 [bug #30117] Funky name for one of the root modules Jose Antonio Ortega Ruiz
2010-06-14  9:52 ` Andy Wingo
2010-06-14 10:06   ` Jose Antonio Ortega Ruiz
2010-09-04 20:23     ` Jose Antonio Ortega Ruiz

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).