[plt-scheme] Typed Scheme issues

From: Sam TH (samth at ccs.neu.edu)
Date: Wed Mar 25 13:21:43 EDT 2009

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.
sam th
samth at ccs.neu.edu

Posted on the users mailing list.