[Tagging] Quarry lakes

[Shawn K. Quinn]

On 12/24/20 11:22, 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.

[...]

> Should quarry lakes be tagged as a subset of lake, something like
> water=lake + lake=quarry?

Yes, this is how I personally would prefer to tag these.
water=quarry_lake smells too much like the disaster that is
amenity=ice_cream.

-- 
Shawn K. Quinn <skquinn at rushpost.com>
http://www.rantroulette.com
http://www.skqrecordquest.com