PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Improve comment handling

Open TedHartMS opened this issue 8 years ago • 0 comments

  1. Handle comments in BlockSyntaxVisitor. Currently, a { or } in a comment confuses things.
  2. Comments in the P# section are not written to the rewritten *.psharp.cs file.
  3. Remove unused TokenStream.SkipCommentTokens

TedHartMS avatar Mar 24 '17 22:03 TedHartMS