On Thu, Sep 10, 2015 at 10:57 PM, Vincent St-Amour < stamo...@eecs.northwestern.edu> wrote:
> Antonio, > > That's weird. With that example, I do see the timings you mentioned, but > if I turn on TR's timing logging, I see that almost all the time is > being spent in pass 1 of the typecheck. I.e., in a different place than > your original example, way earlier in the TR implementation. > > That makes me suspect that this new example exhibits a different issue, > which is less likely to be related to the original bug you reported. > OK. Attached is another example that is almost like the real code. Near the top of the file, you will see the Base-Shape type, with some stuff inside a block comment. Even as it is, with only one type in the union, it already takes a very long time to process. But as you uncomment more and more types in that union it becomes really, really slow. I'm afraid you will not be able to uncomment everything. -- 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/CAJQmiZXSdc3bCXBpW1T22B8aY8WtFOHkgfgKgciP%2BuD11%2Bsb4A%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
testS.rkt
Description: Binary data
