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