Exception on highlighting code with mismatched braces

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

GNU General Public License v3.0

4 stars 0 forks source link

Exception on highlighting code with mismatched braces #180

Closed SpringVaS closed 3 years ago

SpringVaS commented 4 years ago

It appears that a style range is computed wrong when the curly braces in the code don't match. E. g. removing lines. It might be enough to catch the exception.

JonasKlamroth commented 3 years ago

can you provide steps to reproduce? if i try to load a dafny file with mismatched curly braces i do get an exception pointing exactly this out which to me seems like the expected behaviour. Do you have a sample code to show this bug?

SpringVaS commented 3 years ago

Could not reproduce. Closing it.