[plt-scheme] make-struct-type in typed scheme

On Tue, Apr 7, 2009 at 6:16 PM, Paulo J. Matos <pocmatos at gmail.com> wrote:
> On Tue, Apr 7, 2009 at 11:13 PM, Paulo J. Matos <pocmatos at gmail.com> wrote:
>> On Tue, Apr 7, 2009 at 11:10 PM, Sam TH <samth at ccs.neu.edu> wrote:
>>> On Tue, Apr 7, 2009 at 6:05 PM, Paulo J. Matos <pocmatos at gmail.com> wrote:
>>>> Hi all,
>>>>
>>>> Is there any way to use make-struct-type inside typed-scheme? If not,
>>>> is there a way to install a custom printer for a structure in
>>>> typed-scheme?
>>>
>>> No, and not at the moment, respectively.
>>>
>>
>> I can always define a structure with a custom printer in a scheme
>> module, then create another module that types the structure with
>> require/opaque-type and re-export it as if it had been typed by
>> typed-scheme, right?

Yes.

> here it would be require-typed-structure instead of
> require/opaque-type... right?

Yes.  In fact, `require-typed-struct' expands into `require/opaque-type'.

-- 
sam th
samth at ccs.neu.edu