# [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