#1796: Allow type definitions to be exported.

[Chicken Trac]

#1796: Allow type definitions to be exported.
--------------------------------+----------------------------
            Reporter:  zaifir   |       Type:  enhancement
              Status:  new      |   Priority:  major
           Milestone:  someday  |  Component:  core libraries
             Version:  5.3.0    |   Keywords:  types modules
Estimated difficulty:           |
--------------------------------+----------------------------
 Currently, there is no way for a module to export type definitions for
 public use.  (i.e. if a module M defines a type T, there is no way for
 programs that import M to make use of T; they must use * instead).  This
 severely limits the usefulness of the (chicken type) system, since type
 checking cannot be used on types outside of the CHICKEN core.

 I'd propose an `export`-like form, e.g. `(export-type TYPE ...)` which
 makes type definitions created with `define-type` available beyond the
 scope of the containing module.

-- 
Ticket URL: <https://bugs.call-cc.org/ticket/1796>
CHICKEN Scheme <https://www.call-cc.org/>
CHICKEN Scheme is a compiler for the Scheme programming language.