You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
currently the error handling is a bit adhoc, and I want to solidify a bit more what happens in what circumstances. There are errors that we perhaps don't have to panic for (will expand list with things if I think of more):
unable to fetch external index
unknown reference
parsing a python file
However, because i've been burned a lot myself by overly permissive warnings, I want to have a strict mode where things that would otherwise only warn, will error. Some loose steps:
resolve error behaviour at startup
propagate those error settings
apply correct behaviour based on those settings when appropriate
currently the error handling is a bit adhoc, and I want to solidify a bit more what happens in what circumstances. There are errors that we perhaps don't have to panic for (will expand list with things if I think of more):
However, because i've been burned a lot myself by overly permissive warnings, I want to have a strict mode where things that would otherwise only warn, will error. Some loose steps: