The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-lang.org for more information.
Make NoneError, UnreachableError and IndexError in some places should panic instead of raising an error. No logic should be based on catching these errors. A panic will terminate the program.
This ensures that --unsafe does not change the program logic.
UnreachableError should be a panic because one don't want to list that in @raises() decorator, and no logic should be based on executing unreachable code.
Make NoneError, UnreachableError and IndexError in some places should panic instead of raising an error. No logic should be based on catching these errors. A panic will terminate the program.
This ensures that
--unsafedoes not change the program logic.UnreachableError should be a panic because one don't want to list that in
@raises()decorator, and no logic should be based on executing unreachable code.