More verbose message when having unrecognized meta-variable
dannypsnl opened this issue · 0 comments
dannypsnl commented
When a non-existed meta-variable used in language, the error message usually looks like this:
define-language: unrecognized meta-variable in language L
However, if could I would like to have a location and name information, for example:
define-language: unrecognized meta-variable `meta` in language L