Erase the erase function

[xsebek]

• simplify the erase function using the Functor instance

[byorgey]

🤯

[byorgey]

Wait, actually, now I am having second thoughts, is this new implementation really equivalent to the old one?

Edited: ah, I think I see now. It is actually not equivalent, but not in a way that is important. The old erase got rid of type annotations AND source location annotations. void just gets rid of type annotations but doesn't touch the source locations. So actually void is probably better. 😄

[xsebek]

@byorgey it passes tests, so I think it's pretty equivalent (up to our test coverage). 😄

I have been using void occasionally when I needed to get rid of the types and did not know about erase.

Is there is a reason for dropping SrcLoc?

[byorgey]

Is there is a reason for dropping SrcLoc?

No, there's not, which is why I think void is better!