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
Federico Visi mentioned that it would be nice to be able to name temp variables with a prefix like /tmp, and then delete them with something like delete(/tmp/*). In order to avoid issues with implicit pattern matching like #421, my preference would be to have a different function, like deletep(/tmp/*), for example.
The text was updated successfully, but these errors were encountered:
Federico Visi mentioned that it would be nice to be able to name temp variables with a prefix like
/tmp
, and then delete them with something likedelete(/tmp/*)
. In order to avoid issues with implicit pattern matching like #421, my preference would be to have a different function, likedeletep(/tmp/*)
, for example.The text was updated successfully, but these errors were encountered: