Thanks! That was a bug. I've pushed a fix. Robby
On Wed, Aug 19, 2015 at 5:52 PM, Matthew Butterick <m...@mbtype.com> wrote: > Below, I think `(func 42)` should raise exn:fail:contract, because `(func > 42)` returns a number and the output contract for `func` specifies a boolean. > > And in 6.0 it does raise this error. But in 6.1 and 6.2, it does not. Why the > discrepancy? > > ;;;;;;;;;;;;;;;;;;;; > > #lang racket > > (provide (contract-out [func ((any/c) (#:kw any/c) . ->* . boolean?)])) > (define (func x #:kw [kw 0]) > x) > > (module* star racket/base > (require (submod "..")) > (require rackunit) > (check-exn exn:fail:contract? (λ _ (func 42) 42))) ; no exn raised in 6.1 > or 6.2 > > (module+ test > (require (submod ".." star))) > > ;;;;;;;;;;;;;;;;;;;;; > > > BTW two conditions seem mandatory to reproduce the odd behavior: 1) the > presence of one positional and one keyword argument, and 2) at least one > argument is optional. > > For instance, this modification with no optional argument will raise the > correct error in 6.0, 6.1, and 6.2: > > > ;;;;;;;;;;;;;;;;;;;;; > > #lang racket > > (provide (contract-out [func (any/c #:kw any/c . -> . boolean?)])) > (define (func x #:kw kw) > x) > > (module* star racket/base > (require (submod "..")) > (require rackunit) > (check-exn exn:fail:contract? (λ _ (func 42 #:kw 0) 42))) ; works in 6.0, > 6.1, 6.2 > > (module+ test > (require (submod ".." star))) > > ;;;;;;;;;;;;;;;;;;;; > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
