The idea of typed/racket/no-check is to disable typechecking, but in so doing, it also changes all type-based predicates to false. I suppose this oughtn't be surprising — if a predicate depends on a type, then without the type, the predicate cannot be true.
But it also means that typed/racket/no-check is unusable on code that uses predicates. Is there a clever way to get around this? For instance, in the example below, redefining `Int?` to mean `integer?` under typed/racket/no-check. ;;;;;;;;;;;;;;; #lang racket/base (module tr typed/racket/base (require typed/rackunit) (define-predicate Int? Integer) (check-true (Int? 42))) (module tr-nc typed/racket/base/no-check (require typed/rackunit) (define-predicate Int? Integer) (check-false (Int? 42))) ; surprise! (require 'tr) (require 'tr-nc) ;;;;;;;;;;;;;;;;; -- 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.
