There are no source locations for error messages connecting to where a module’s declarations were defined.
We can actually provide these for the modules by taking default arguments of __LINE__ and __FILE__, which would be pretty handy, especially for e.g. the encoded datatype tests.
There are no source locations for error messages connecting to where a module’s declarations were defined.
We can actually provide these for the modules by taking default arguments of
__LINE__and__FILE__, which would be pretty handy, especially for e.g. the encoded datatype tests.