Opened 5 months ago

#1796 new enhancement

Allow type definitions to be exported.

Reported by: zaifir Owned by:
Priority: major Milestone: someday
Component: core libraries Version: 5.3.0
Keywords: types modules Cc:
Estimated difficulty:

Description

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.

Change History (0)

Note: See TracTickets for help on using tickets.