[plt-scheme] Typed Scheme error -- how to debug?

From: Sam TH (samth at ccs.neu.edu)
Date: Mon Aug 10 19:10:11 EDT 2009

This is a bug in Typed Scheme.  If you can distill it to a small
example, that would be great, but either way, please submit a bug

sam th

On Mon, Aug 10, 2009 at 6:21 PM, Todd O'Bryan<toddobryan at gmail.com> wrote:
> I'm reposting this as its own thread hoping that people who stopped
> reading the other thread may respond to this one.
> I went through lang/htdp/private/teachprims.ss and added type
> annotations to everything. I've killed all of the type errors I had,
> but now I get this error:
> match: no matching clause for (Unknown Type: #(struct:top-arr 51 #f))
> I don't get line highlighting of the error and I don't even know which
> file is causing the error.
> Any pointers as to how I can go about fixing this? Or what it is?
> Todd
> P.S. I posted the code on my class wiki at
> https://www.dupontmanual.org/wikis/spectops/TypedScheme
> in case anyone has time to run the code and see what's going wrong.
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

sam th
samth at ccs.neu.edu

Posted on the users mailing list.