[racket-dev] Typed Racket interaction

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Aug 2 10:08:05 EDT 2010

This sounds like material for a bug report. I think the lowercase t in 

On Aug 2, 2010, at 9:37 AM, Shriram Krishnamurthi wrote:

> (define-struct: (T) Node ([v : T] [l : (BinTreeof t)] [r : (BinTreeof t)]))
> (define-type (BinTreeof t)
>  (U 'empty
>     [Node t]))

the first line should be an unbound variable and reported as such. 

Posted on the dev mailing list.