Locate constructors' exact positions

Open voodoos opened this issue 3 years ago • 1 comments

Currently Merlin will locate the type of a constructor, not the constructor itself. This is much improved in that PR.

Dec 01 '22 16:12 voodoos

After discussing this issue with @pitag-ha we realized that it only answers the problem for type's declarations, not definitions. I am turning this into a draft while looking for a more robust answer.

Dec 09 '22 14:12 voodoos