search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

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

Closed beurdouche closed 7 years ago

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 :)

cpitclaudel commented 7 years ago

Hi @beurdouche,

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

Thanks!

beurdouche commented 7 years ago

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 :)

cpitclaudel commented 7 years ago

Thanks! Will look into it soon.

cpitclaudel commented 7 years ago

Ok, I pushed a tentative fix.

cpitclaudel commented 7 years ago

Please try it and let me know

beurdouche commented 7 years ago

Cool ! Will test, Thanks a lot !