You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently an @source declaration does not work after an @import declaration. The resulting parser error is:
Error: Failed to parse Rulewerk file: Encountered " "source" "@source "" at line 7, column 1.
Was expecting one of:
<EOF>
<VARORPREDNAME> ...
<PNAME_LN> ...
<IRI_ABSOLUTE> ...
<CUSTOM_DIRECTIVE> ...
This restriction does not seem reasonable and should be relaxed. In general, while good practice might be to have @source at the beginning of a file, there is no need to force users here. @prefix is a different story and should stay on top though.
The text was updated successfully, but these errors were encountered:
Currently an
@source
declaration does not work after an@import
declaration. The resulting parser error is:This restriction does not seem reasonable and should be relaxed. In general, while good practice might be to have
@source
at the beginning of a file, there is no need to force users here.@prefix
is a different story and should stay on top though.The text was updated successfully, but these errors were encountered: