I am using the latest version(6.7 64bit) of Racket compiler. I got it from Racket website.
On Wed, Dec 28, 2016 at 5:51 AM, Vincent St-Amour < [email protected]> wrote: > 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: [email protected] [mailto:[email protected]] 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 [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/d82d4dd7-5d0d-47be-85c5-9949f3e23e9d%40googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. > -- Asiful Islam Master's candidate Beijing Jiaotong University Beijing,China -- 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/CALWHOsKF5TVcnyCQ-3kcDMrXX9dJEN6tw4uj4F4QbY%2B7RJq0Gg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
