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. 
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Reply via email to