[plt-dev] Universe & HtDP/2e build errors
I'm not actually doing anything with that code, but I went ahead and
removed it from the file in SVN.
Robby
On Wed, Aug 5, 2009 at 4:03 PM, Matthias Felleisen<matthias at ccs.neu.edu> wrote:
>
> 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
>
>