Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Add dangling judoc error #2099

Merged
merged 2 commits into from
May 16, 2023
Merged

Add dangling judoc error #2099

merged 2 commits into from
May 16, 2023

Conversation

janmasrovira
Copy link
Collaborator

@janmasrovira janmasrovira commented May 16, 2023 •
edited
Loading

If parsing a statement fails and there is a pending judoc comment, a Dangling judoc comment error will be reported.

@janmasrovira janmasrovira added this to the 0.3.4 milestone May 16, 2023
@janmasrovira janmasrovira self-assigned this May 16, 2023
@janmasrovira janmasrovira marked this pull request as ready for review May 16, 2023 06:47
@janmasrovira janmasrovira merged commit d135f74 into main May 16, 2023
@janmasrovira janmasrovira deleted the dangling-judoc branch May 16, 2023 13:39
@jonaprieto jonaprieto added the enhancement New feature or request label May 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jonaprieto jonaprieto jonaprieto approved these changes

Assignees

@janmasrovira janmasrovira

Labels
enhancement New feature or request error-messaging
Projects
None yet
Milestone
0.3.4
Development

Successfully merging this pull request may close these issues.

Improve error message for Judoc comments without fun/ind definition
2 participants
@janmasrovira @jonaprieto