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
Rust has some reserved keywords/names that are valid variable names in Python, such as _ (single underscore, used to throw away values) and match. If you use one of these as a variable name in a Seahorse program, you'll usually get a very weird rustfmt error.
# For example, this should not be allowed.match=filter(..., array)
Ideally, Seahorse should raise an error when one of these names are encountered, and guide the user to choose a different name.
The text was updated successfully, but these errors were encountered:
Rust has some reserved keywords/names that are valid variable names in Python, such as
_
(single underscore, used to throw away values) andmatch
. If you use one of these as a variable name in a Seahorse program, you'll usually get a very weird rustfmt error.Ideally, Seahorse should raise an error when one of these names are encountered, and guide the user to choose a different name.
The text was updated successfully, but these errors were encountered: