On 2015-09-30 22:37:49 +0100, Antonio Menezes Leitao wrote: > Note that if you remove the return type declaration (foo Integer) from > make-foo, it computes the correct result.
Thanks for the minimal example! Looks like if you add #:no-optimize it returns the same result as no-check mode. I suspect that TR thinks (baz Any) is disjoint from (foo Integer) in this case and decides that therefore (baz? (car foos)) must always fail, leading it to optimize the expression to 2. Cheers, Asumu -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/20150930214641.GZ17250%40simplyrobot.org. For more options, visit https://groups.google.com/d/optout.
