[plt-scheme] Recognizing Listof in typed-scheme

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