[Agda] Type-checker evaluator performance
Sergei Meshveliani
mechvel at botik.ru
Wed Feb 3 20:10:10 CET 2016
On Mon, 2016-02-01 at 10:51 +0100, Andrea Vezzosi wrote:
> Did you introduce parametrized modules during the cleaning-up?
>
> If so you might have introduced problems similar to this issue:
>
> https://github.com/agda/agda/issues/1625
>
> Also, if you turn on interactive highlighting you'll get to see
> approximately on which expression time is being spent during
> typechecking.
>
Can you tell, please: how to turn on interactive highlighting?
Ctr-C Ctr-l does somehow change the source colors, but it does not
scroll the text any, and I doubt that it shows anything corresponding to
profiling.
Regards,
------
Sergei
More information about the Agda
mailing list