[Tagging] Quarry lakes

[ael]

On Thu, Dec 24, 2020 at 12:22:20PM -0500, Brian M. Sperlongano wrote:
> A commenter on the reservoir proposal[1] pointed out the existence of
> quarry lakes[2], which is a lake that is formed after a quarry has been dug
> after a mining operation.  It was suggested that such bodies of water
> should be tagged separately from other lakes with a tag such as
> water=quarry.

I see one problem in that old deep mines also produce "lakes". For
example https://www.openstreetmap.org/way/835299701. It is not a quarry.
This is a important because Ordinance Survey maps show it as a quarry
nevertheless, but this is believed to be an "Easter Egg". That is a
deliberate mistake intended to detect copyright infringement.

At the moment it is not tagged as natural=water or similar because it is
not "natural". But it is in essence a small lake. I have no idea how
deep it is. If the mine was properly capped and that cap is still in
place it could be quite shallow. As there has been some sort of collapse
it is hard to guess. Otherwise, it is several hundred metres deep at
least. It can be seen on Bing imagery.

> Should quarry lakes be tagged under a separate value from water=lake?

That does seem sensible as long as there is another tag for the sort of
situation above. I suppose water=flooded_mine is the obvious, but
something more generic would be better.

ael