Open tyilo opened 6 years ago
This is a valid F* module that defines bar:
bar
module Foo (* // *) let bar = 1
However VimFStar doesn't think that the comment on the second line ends on line 2. It thinks that it is never closed.
This is a valid F* module that defines
bar
:However VimFStar doesn't think that the comment on the second line ends on line 2. It thinks that it is never closed.