rebellion icon indicating copy to clipboard operation
rebellion copied to clipboard

Add provide transformers for exporting types

Open jackfirth opened this issue 5 years ago • 0 comments

Similar to struct-out, there should be provide transformers for exporting the constructor/predicate/accessors created by define-record-type, define-wrapper-type, etc. However, note that contract-out has special support for struct types that can't be emulated by other libraries. This isn't the end of the world, since contracts for rebellion/type should be attached using guards instead of using contract-out (see #42).

Implementing this feature requires some static information about the shape and fields of a type, so this is blocked on #179.

jackfirth avatar Aug 14 '19 00:08 jackfirth