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

On Fri, Apr 3, 2009 at 1:14 AM, Sam TH <samth at ccs.neu.edu> wrote:
> 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 ()
>

Argh, thanks a lot! I missed that!

> (require/typed srfi/1
>              (every (All (a) ((a * -> Boolean) (Listof a) (Listof
> a) * -> Boolean))))
>
> --
> sam th
> samth at ccs.neu.edu
>



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