What about Typed Racket? Are you using the one from the Racket you downloaded, or are you using one from a repo you cloned?
My guess based on the info you provided is that you're using Racket 6.7 and the associated Typed Racket, but that you're running the TR tests from a cloned repo. Those tests would require the same version of TR (the one from the cloned repo). If that's the case, try instead installing the `typed-racket-test` package, and running tests from the package version. If you install it via the package system, you'll get the right version to go with your Racket install. Vincent On Tue, 27 Dec 2016 23:52:36 -0600, Asiful Islam wrote: > > 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 > <stamo...@eecs.northwestern.edu> 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: 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. > > -- > 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 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/m21swrg0dh.wl-stamourv%40eecs.northwestern.edu. For more options, visit https://groups.google.com/d/optout.
