Norman Ramsey writes:
> Issue #20370 is not going to happen. I have added a comment of explanation,
> and it's time for me to close the issue. What label, if any, should I
> put on the issue to indicate that it describes a direction we've decided
> not to pursue?
>
No need to add a label. Just
Issue #20370 is not going to happen. I have added a comment of explanation,
and it's time for me to close the issue. What label, if any, should I
put on the issue to indicate that it describes a direction we've decided
not to pursue?
Norman
___
ghc-d