When we parse module using this plugin, we are having wrong src spans.
We faced the same issue in large-anon plugin of this commit https://github.com/well-typed/large-records/commit/c748cd9093198ab8d07a15cd920a9eb1adf3b6d4, but using the exact name in this commit https://github.com/well-typed/large-records/commit/3fda12387dad9ee83fe899db12f4dddcdf063b39, this issue was resolved.
When we parse module using this plugin, we are having wrong src spans.
We faced the same issue in large-anon plugin of this commit https://github.com/well-typed/large-records/commit/c748cd9093198ab8d07a15cd920a9eb1adf3b6d4, but using the exact name in this commit https://github.com/well-typed/large-records/commit/3fda12387dad9ee83fe899db12f4dddcdf063b39, this issue was resolved.