VimFStar icon indicating copy to clipboard operation
VimFStar copied to clipboard

module syntax line not correctly ended

Open maxzinkus opened this issue 5 years ago • 2 comments

module Foo
open Bar
open Baz

will not correctly highlight the first open. However,

module Foo (* quux *)
open Bar
open Baz

will correctly color everything. I assume this means the module region isn't correctly ending.

maxzinkus avatar Dec 02 '19 22:12 maxzinkus

The nextgroup for fstarModule is fstarPreDef, which looks like this: fstarPreDef start="."me=e-1 matchgroup=fstarKeyword end="\l\|=\|)"me=e-1 I feel like this region (start on any character, end on lowercase, =, or ) is wrong.

maxzinkus avatar Dec 02 '19 22:12 maxzinkus

Ah, no, I think the actual fix for this is to change fstarModule's end from end="\<\u\(\w\|'\)*\>" to end="\<\u\(\w\|'\)*\>"me=e-1 to prevent the word-ending \> match from consuming the newline.

maxzinkus avatar Dec 02 '19 22:12 maxzinkus