Skip to content

Fixes #345, fixes #346: Exception code tweaks #347

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

Merged
merged 2 commits into from
Jul 12, 2022

Conversation

eyalroz
Copy link
Contributor

@eyalroz eyalroz commented Jul 8, 2022

This puts exceptions in their own sub-namespace and renames some of them accordingly.

Note that I think there might be an over-abundance of exception classes in the library, but so be it...


This change is Reviewable

@eyalroz eyalroz force-pushed the fix-345 branch 2 times, most recently from 8935d36 to 7c6d5bf Compare July 9, 2022 21:43
@jarro2783
Copy link
Owner

This is good, but I think it needs rebasing after the namespace fixes.

@eyalroz
Copy link
Contributor Author

eyalroz commented Jul 10, 2022

Yes, I'll take care of that soon.

…exceptions in a sub-namespace and renamed them accordingly.

* Also fixed some "loose ends" regarding namespace indentation which were missing in PR jarro2783#350.
@eyalroz
Copy link
Contributor Author

eyalroz commented Jul 11, 2022

@jarro2783 : Done, and also had to make a few more changes regarding namespace indentation which slipped by me in PR #350.

@eyalroz
Copy link
Contributor Author

eyalroz commented Jul 11, 2022

@jarro2783 : After this, let's go for #349 .

@jarro2783 jarro2783 merged commit 628dc92 into jarro2783:master Jul 12, 2022
@eyalroz
Copy link
Contributor Author

eyalroz commented Jul 12, 2022

So, somehow after the merge, the exceptions namespace itself is indented. Will submit another PR.

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.

2 participants