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

On Tue, Apr 7, 2009 at 10:20 PM, Sam TH <samth at ccs.neu.edu> wrote:
> 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'.
>

OK, thanks. :)

> --
> sam th
> samth at ccs.neu.edu
>



-- 
Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm