You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This happens only in the case of the last line being "output <port_name>" with no other (non-whitespace) characters on the line. If you add a comment, a range, or a second port name, the highlighting is correct. In the below examples, the first one is rendered wrong (red), while the other three are rendered correctly.
When the closing paren is on its own line, the last port of a module declaration is highlighted in red:
As you can see, github has the same bug, except it uses green instead of red.
The text was updated successfully, but these errors were encountered: