Created pseudo Python syntax so that we can define exceptions for python functions

JSAbrahams / mamba

🐍 The Mamba programming language, because we care about safety

MIT License

88 stars 4 forks source link

Created pseudo Python syntax so that we can define exceptions for python functions #392

Open JSAbrahams opened 1 year ago

JSAbrahams commented 1 year ago

Current Issue

Currently the type checker doesn't know whether a std function will throw an exception or not. Might be nice to allow one to generate a soft warning for exceptions we know might happen.

JSAbrahams / mamba

Created pseudo Python syntax so that we can define exceptions for python functions #392

Current Issue

High-level description of the feature

Description of potential implementation