Edits to syntax file to fix comments and module line

FStarLang / VimFStar

A Vim mode for FStar

Vim License

24 stars 12 forks source link

Edits to syntax file to fix comments and module line #18

Closed maxzinkus closed 4 years ago

maxzinkus commented 4 years ago

Addresses #17

This may introduce some weird edge cases with nested comments. However, it preserves correct behavior for normal comments and fixes the case of nested comments in a similar way to vim's c.vim (using a dedicated region for line comments). As with c.vim, we shrug at the edge cases.

msftclas commented 4 years ago

All CLA requirements met.

maxzinkus commented 4 years ago

Second commit fixes #19