Skip to content

Feature/prefix error msg#375

Merged
boriel merged 2 commits intomasterfrom
feature/prefix_error_msg
Jul 26, 2020
Merged

Feature/prefix error msg#375
boriel merged 2 commits intomasterfrom
feature/prefix_error_msg

Conversation

@boriel
Copy link
Copy Markdown
Collaborator

@boriel boriel commented Jul 26, 2020

No description provided.

boriel added 2 commits July 26, 2020 20:27
It's a more convenient name since not only syntax errors
are reported with this method, sino semantic and general ones.
@boriel boriel merged commit 46306f9 into master Jul 26, 2020
@boriel boriel deleted the feature/prefix_error_msg branch July 26, 2020 19:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant