Asiful, The Typed Racket optimizer is run by default on all Typed Racket code. As Matthias mentions, you have to turn it off explicitly if you do want to turn it off.
What you're seeing seems unrelated to the optimizer, but looks like an error elsewhere in Typed Racket. What version of Racket are you using, what version of Typed Racket, and how did you get them? Vincent On Tue, 27 Dec 2016 06:41:56 -0500, Asiful Islam wrote: > > Can you please tell me how to run Typed Racket optimizer. because I am > getting this error: typecheck-tests.rkt:37:5: reduce-tc-results/subsumption: > unbound identifier in module in: reduce-tc-results/subsumption. in this > file:https://github.com/racket/typed-racket/blob/master/typed-racket-test/unit-tests/typecheck-tests.rkt > On Wednesday, June 22, 2016 at 7:38:06 AM UTC+8, Jos Koot wrote: > > Thanks, very interesting. > Jos > > -----Original Message----- > From: racke...@googlegroups.com [mailto:racke...@googlegroups.com] On Behalf > Of Jay McCarthy > Sent: martes, 21 de junio de 2016 22:15 > To: dev > Subject: [racket-dev] Re: Inside Racket Seminar 4. Vincent St-Amour on Typed > Racket optimizer > > The archive of this is linked from the wiki now: > > > https://github.com/racket/racket/wiki/Inside-Racket-Seminar-4.-Vincent-St-Amour-on-Typed-Racket-Optimizer > > > snip > > -- > 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 racket-dev+unsubscr...@googlegroups.com. > To post to this group, send email to racket-dev@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/d82d4dd7-5d0d-47be-85c5-9949f3e23e9d%40googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- 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 racket-dev+unsubscr...@googlegroups.com. To post to this group, send email to racket-dev@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/m2ful9f3b4.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
