Re: [racket-dev] Re: Inside Racket Seminar 4. Vincent St-Amour on Typed Racket optimizer

2016-12-27 Thread Asiful Islam
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 ha

Re: [racket-dev] Re: Inside Racket Seminar 4. Vincent St-Amour on Typed Racket optimizer

2016-12-27 Thread Vincent St-Amour
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

Re: [racket-dev] Inside Racket Seminar 4. Vincent St-Amour on Typed Racket optimizer

2016-12-27 Thread Matthias Felleisen
I assume you mean ‘off’: http://docs.racket-lang.org/ts-guide/optimization.html#%28part._.Turning_the_optimizer_off%29 If not, sorry for the noise. > On Dec 27, 2016, at 6:41 AM, Asiful Islam

Re: [racket-dev] Re: Inside Racket Seminar 4. Vincent St-Amour on Typed Racket optimizer

2016-12-27 Thread Asiful Islam
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/