[plt-scheme] srfi/1 messes typed-scheme

From: Sam TH (samth at ccs.neu.edu)
Date: Thu Apr 2 21:14:23 EDT 2009

On Thu, Apr 2, 2009 at 9:09 PM, Paulo J. Matos <pocmatos at gmail.com> wrote:
> On Fri, Apr 3, 2009 at 12:59 AM, Paulo J. Matos <pocmatos at gmail.com> wrote:
>>
>> So the reason why this fails:
>> (require/typed srfi/1
>>               (every (All (a) (((a * -> Boolean) (Listof a) * -> Boolean)))))
>>
>>  with
>> typecheck: not a valid type: (((a * -> Boolean) (Listof a) * ->
>> Boolean)) in: (((a * -> Boolean) (Listof a) * -> Boolean))
>>
>> or a problem with unsupported polymorphic types in require/typed?
>>
>
> It seems that my type was wrong but typed-scheme still returns the
> same with the following type which seems to match the function
> definition:
> (require/typed srfi/1
>               (every (All (a) (((a * -> Boolean) (Listof a) (Listof
> a) * -> Boolean)))))

Try this, which has the correct number of ()

(require/typed srfi/1
              (every (All (a) ((a * -> Boolean) (Listof a) (Listof
a) * -> Boolean))))

-- 
sam th
samth at ccs.neu.edu


Posted on the users mailing list.