[Chicken-janitors] Re: #512: static-modules exports procedure-internal definitions (was: Definitions generated by "datatype" egg are invisible to export)

[Chicken Trac]

#512: static-modules exports procedure-internal definitions
-------------------------+--------------------------------------------------
  Reporter:  sjamaan     |       Owner:  iraikov       
      Type:  defect      |      Status:  assigned      
  Priority:  major       |   Milestone:                
 Component:  extensions  |     Version:  4.6.x         
Resolution:              |    Keywords:  static-modules
-------------------------+--------------------------------------------------
Changes (by sjamaan):

  * status:  new => assigned
  * component:  expander => extensions
  * owner:  sjamaan => iraikov
  * milestone:  4.7.0 =>
  * keywords:  expander => static-modules


Comment:

 Hm, come to think of it, it's probably a bug in static-modules. It does
 something similar to:

 {{{
 (module foo
   (my-datatype? Sym Sym+Str)

   (import chicken scheme)
   (use datatype)

   (define (some-procedure)
     (define-datatype my-datatype my-datatype?
       (Sym (id symbol?))
       (Sym+Str (id symbol?) (s string?)))))
 }}}

 I don't think this should work (defining stuff inside a procedure and then
 exporting it like it was defined in the module's toplevel, ie outside that
 procedure).

 My hunch is that this worked before because of the bug that got fixed in
 #445.

 I'm assigning this to Ivan and changing the ticket title to reflect that
 it's actually most likely a bug in static-modules and not in datatype or
 Chicken core.

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/512#comment:2>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.