[plt-scheme] Recognizing Listof in typed-scheme

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Mon Apr 6 10:31:30 EDT 2009

On Mon, Apr 6, 2009 at 2:20 PM, Sam TH <samth at ccs.neu.edu> wrote:
> On Mon, Apr 6, 2009 at 9:53 AM, Paulo J. Matos <pocmatos at gmail.com> wrote:
>> Then I remembered that I should let typed-scheme know that every is a
>> predicate for (Listof a), so I changed the typing to:
>> (: every (All (a) ((a -> Boolean) (Listof a) -> Boolean : (Listof a))))
>> But now I get an error in match:
>> match: no matching clause for Unknown Type: #(struct:Error 23 #f)
> This is definitely a bug in Typed Scheme.  I'll try to fix it soon.

Should I report it? If not, please let me know once it's fixed. Thanks :)

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

Posted on the users mailing list.