Re: [racket-users] ->* contracts not enforcing #:pre/desc pre-conditions

Thanks. I've pushed a fix. https://github.com/racket/racket/commit/8c5c8da1a7e8c63460125d5cde3cdc5e1240a09c Robby On Sun, Feb 5, 2017 at 3:44 AM, Philip McGrath wrote: > Contracts created with ->* don't seem to be enforcing their #:pre/desc > pre-conditions. > > Given this program: >> >> #lang

[racket-users] ->* contracts not enforcing #:pre/desc pre-conditions

Contracts created with ->* don't seem to be enforcing their #:pre/desc pre-conditions. Given this program: > #lang racket > (module private racket > (provide get-apples-allowed? >get-apples) > (define get-apples-allowed? > (make-parameter #f)) > (define (get-apples) > 'a