-
-
Notifications
You must be signed in to change notification settings - Fork 1.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
noReturn pragma doesn't work when we add a doc comment #9839
Labels
Comments
ringabout
added a commit
that referenced
this issue
Dec 8, 2022
Araq
pushed a commit
that referenced
this issue
Dec 8, 2022
survivorm
pushed a commit
to survivorm/Nim
that referenced
this issue
Feb 28, 2023
capocasa
pushed a commit
to capocasa/Nim
that referenced
this issue
Mar 31, 2023
narimiran
pushed a commit
that referenced
this issue
Apr 25, 2023
narimiran
pushed a commit
that referenced
this issue
May 12, 2023
narimiran
pushed a commit
that referenced
this issue
May 15, 2023
bung87
pushed a commit
to bung87/Nim
that referenced
this issue
Jul 29, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
doc comment affects noReturn pragma:
quit
is marked asnoreturn
, but its effect is negated when there is a doc comment as shown belowExample
Current Output
no error
Expected Output
The text was updated successfully, but these errors were encountered: