F* mode considerable slow down on large files commented using //

Question

F* mode considerable slow down on large files commented using //

beurdouche opened this issue 7 years ago · comments

Benjamin Beurdouche commented 7 years ago

When commenting with the recent // syntax change, my emacs gets a huge slow down.
This was not the case before with the (* *) style of comments :)

Clément Pit-Claudel · Answer 1 · Mon Jul 17 2017 21:41:57 GMT+0800 (China Standard Time)

Hi @beurdouche,

Can you give a concrete example? I haven't noticed the slowdown here :)

Thanks!

Benjamin Beurdouche · Answer 2 · Thu Jul 20 2017 01:52:12 GMT+0800 (China Standard Time)

Hey @cpitclaudel !
As an example, you can take /opt/hacl-star/code/hash/Hacl.Hash.SHA2_512.fst, comment the file and then try to navigate in it... This is super slow in my setting :)

Clément Pit-Claudel · Answer 3 · Thu Jul 20 2017 05:20:34 GMT+0800 (China Standard Time)

Thanks! Will look into it soon.

Clément Pit-Claudel · Answer 4 · Thu Jul 20 2017 05:38:47 GMT+0800 (China Standard Time)

Ok, I pushed a tentative fix.

Clément Pit-Claudel · Answer 5 · Thu Jul 20 2017 05:38:57 GMT+0800 (China Standard Time)

Please try it and let me know

Benjamin Beurdouche · Answer 6 · Thu Jul 20 2017 05:39:11 GMT+0800 (China Standard Time)

Cool ! Will test, Thanks a lot !