I assume you mean ‘off’: http://docs.racket-lang.org/ts-guide/optimization.html#%28part._.Turning_the_optimizer_off%29 <http://docs.racket-lang.org/ts-guide/optimization.html#(part._.Turning_the_optimizer_off)>
If not, sorry for the noise. > On Dec 27, 2016, at 6:41 AM, Asiful Islam <[email protected]> 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: [email protected] <javascript:> > [mailto:[email protected] <javascript:>] 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 > > <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 [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/d82d4dd7-5d0d-47be-85c5-9949f3e23e9d%40googlegroups.com > > <https://groups.google.com/d/msgid/racket-dev/d82d4dd7-5d0d-47be-85c5-9949f3e23e9d%40googlegroups.com?utm_medium=email&utm_source=footer>. > For more options, visit https://groups.google.com/d/optout > <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 [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/A66BF7B3-E477-414E-859A-1DAC0AA154A3%40ccs.neu.edu. For more options, visit https://groups.google.com/d/optout.
