Yes, that's a bug. I've pushed a fix. Thanks for the test case! Robby
On Tue, Jul 22, 2014 at 7:18 PM, Brian Adkins <[email protected]> wrote: > On Jul 22, 2014, at 8:03 PM, Brian Adkins wrote: >> Does this seem like a bug? I'm running DRRacket 6.0.1 on Mac OSX 10.6.8. >> >> Given: >> >> (define (valid? a b) >> (< a b)) >> >> Case 1 - works fine: >> >> (define/contract (foo a b) >> (->i ([x (z) (curry valid? z)] [z any/c]) any) >> (+ a b)) >> >> Case 2 (adding a 3rd arg) - results in: >> "z10: unbound identifier; >> also, no #%top syntax transformer is bound in: z10" >> >> (define/contract (foo a b c) >> (->i ([x (z) (curry valid? z)] [y any/c] [z any/c]) any) >> (+ a b)) > > Sorry, I included valid? because it was in my earlier test cases, I can > simplify this to something nearly identical to the example in 8.2 of the > Racket Reference: > > (define/contract (foo a b c) > (->i ([x (z) (>=/c z)] [y any/c] [z any/c]) any) > (+ a b)) > > results in: > > "z10: unbound identifier; > also, no #%top syntax transformer is bound in: z10" > > Remove c & y, and it works fine. > > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
