[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