Is there any interest in keeping the named pattern and persistent pattern features? They are part of the "advanced" usage category and are mostly black magic.
I am thinking about deprecating them as the current PPX extension does not support them. But I'd like to gauge how widespread their usage is.
Is there any interest in keeping the named pattern and persistent pattern features? They are part of the "advanced" usage category and are mostly black magic.
I am thinking about deprecating them as the current PPX extension does not support them. But I'd like to gauge how widespread their usage is.