[plt-scheme] Typed Scheme issues

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Wed Mar 25 17:05:08 EDT 2009

On Wed, Mar 25, 2009 at 5:21 PM, Sam TH <samth at ccs.neu.edu> wrote:
> On Wed, Mar 25, 2009 at 11:32 AM, Paulo J. Matos <pocmatos at gmail.com> wrote:
>> Hi all,
>>
>> I have been messing around a lot with typed scheme and besides the
>> issues I have reported before here are some more. Either they are
>> bugs, or I am just not designing the system the correct way. Either
>> way I appreciate suggestions / workarounds [v. 4.1.5]
>>
>> 1. remove-duplicates not available:
>
> Fixed in SVN.
>
>> 2. make-hasheq generates error
>
> Here's a version that works.
>
> (define make-empty-env
>  (case-lambda: [() (make-Environment #f (#{make-hasheq @ Symbol Integer}))]
>                [((parent : Environment)) (make-Environment parent
> (#{make-hasheq @ Symbol Integer}))]))
>
> But we shouldn't need these annotations since we know that
> `make-Environment' requires a particular type of HashTable.  I'll try
> to improve the inferencer.


Thank you!

Can you please explain what's (#{make-hasheq @ Symbol Integer}) doing?
Is it documented?

Cheers,

Paulo Matos

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



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


Posted on the users mailing list.