speed of encoding about barista HOT 7 OPEN

Does encoding not do static analysis?

from barista.

I don't expect that part to be slow on average, unless the algorithm isn't implemented properly.

from barista.

Hmm ... You are right: Changing unify to always return Top brings down the runtime from 7m30s to 5m12s. So, the encoding is about 4m58s, out of which about 2m18s are spent spinning in symbolic execution. Meanwhile, decoding is about 1m22s. I still think encoding should be faster, but symbolic execution takes more time than I expected.

Here are the estimates again, for ease of reading later:

• decoding 1m20s
• encoding 5m, out of which
  • 2m20s searching for fixed-point in type inference
  • 2m40s other stuff

from barista.

Wow, so even the other stuff is twice the time of decoding...does that include writing the files?
I share your feeling that the symbolic execution should be faster as well, but I am not really sure why...

from barista.

Decoding includes reading the files; encoding includes writing the files.

from barista.

Ok, then the "other stuff" is definitely too slow, I wonder if it is worth profiling...

from barista.

It is worth profiling, but not this week. :)

from barista.