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
I doubt this particular example will panic. Edit: ho, OK, short argument, yep, it'll panic.
There is no easy way of checking you use the same name several times. Basic case is double, bit when you add flatten and friends, it can become a nightmare. I don't want complicated code to do compile time check that would be catch in all case with a basic test. Now, if the code is really trivial, why not, but I doubt.
Something like
gives an error at runtime of the program.
It would be way cooler, if it was a compile time error.
If you agree, I could look into trying to implement this.
The text was updated successfully, but these errors were encountered: