[racket-dev] bug: internal typechecker error

From: Paulo J. Matos (paulo at matos-sorge.com)
Date: Tue Oct 23 16:34:50 EDT 2012

On 22/10/12 21:43, Paulo J. Matos wrote:
> Hello,
> As I was converting a program into typed racket in drscheme 5.3 I got an
> internal typechecker error. Load the attached file and press run.
> That should allow you to reproduce the problem.

git HEAD has the problem fixed.


Posted on the dev mailing list.