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.

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

Fix exception handling #844

Open
wants to merge 10 commits into
base: master
from
Commits on Jun 18, 2018
  1. Finish catching dynamic exceptions

    vincent-prz committed Jun 18, 2018
Commits on Aug 4, 2018
  1. Exception handler: add some fixes.

    vincent-prz committed Aug 4, 2018
    Handle the case where node.type is None.
    Fix check for explicitely named builtin errors.
Commits on Aug 27, 2018
  1. Merge branch 'master' into fix-exception-handling

    vincent-prz committed Aug 27, 2018
  2. Fix for custom exception in local namespace

    vincent-prz committed Aug 27, 2018
  3. Fix style

    vincent-prz committed Aug 27, 2018
Commits on Oct 13, 2018
  1. Micro cleanup

    vincent-prz committed Oct 13, 2018
Commits on Nov 25, 2018
  1. Merge branch 'master' into fix-exception-handling

    vincent-prz committed Nov 25, 2018
You can’t perform that action at this time.