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


-- 
PMatos


Posted on the dev mailing list.