On Aug 5, 2009, at 3:44 PM, Robby Findler wrote:
Also, looking at syn-aux.ss, I see this: ;; Symbol (Symbol X -> X) -> (X -> X) (define (check-flat-spec tag coerce>) (lambda (p) (syntax-case p () [(b) #'(coerce> tag b)] [_ (err tag p)]))) which seems like it has to be wrong (that's going to always introduce a free variable, right?). I think it should probably be define-syntax, but I didn't change it.
This is a left over experiment and can be deleted while you're fixing 2htdp Thanks -- Matthias
_________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev