My macro can generate code that will not compile if the user does not provide the required implicit evidence. This is a user error, but it is exceptionally difficult to track down problems in a large codebase when the position of the error is <macro>:1: and there is no further hint as to what went wrong.
As a hack, even if I could include a comment that would be useful.
My macro can generate code that will not compile if the user does not provide the required implicit evidence. This is a user error, but it is exceptionally difficult to track down problems in a large codebase when the position of the error is
<macro>:1:
and there is no further hint as to what went wrong.As a hack, even if I could include a comment that would be useful.