Closed ydah closed 2 months ago
I talked with @ydah in person on 6/25 (Wed). I agreed to add -W
option and --warnings
option, but I thought introducing the categories are premature because we are not sure about what categories are the best. We will introduce warning categories once we get feedback for that.
This PR adds an option to output warnings and adds an option to warn when parameterizing rules are being redefined. Specify
-W
or--warning
option to output a warning about the redefinition of parameterizing rules.Motivation
Currently, for example, there is no way for users to know that the parameterizing rules provided by the standard library have been redefined. Therefore, this support will allow users to know when parameterizing rules have been redefined.