[plt-dev] Universe & HtDP/2e build errors

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