Prompt for renaming operators has the wrong initial text #3402
Description
If I try to rename %:
(%) (a,b) = a+b
The prompt starts with a, but it should start with %.
I am using HLS 1.8 from ghcup
{{ message }}
If I try to rename %:
(%) (a,b) = a+b
The prompt starts with a, but it should start with %.
I am using HLS 1.8 from ghcup