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

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)))))


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



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