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
However, <local-id> is not defined in the same section. Can we add it? I imagine it would be \d+ but would be good to have it in the official spec.
Note: the current actually makes the syntax ambiguous since <local-id> could potentially contain anything, and <scheme> could be local - I don't anybody sane would do that but technically it is a source of confusion.
The text was updated successfully, but these errors were encountered:
ZiyaoWei
changed the title
local-id is not defined in the symbol grammar
local-id is not defined in the symbol syntax
Oct 6, 2023
scip.md defines the syntax for symbols as
However,
<local-id>
is not defined in the same section. Can we add it? I imagine it would be\d+
but would be good to have it in the official spec.Note: the current actually makes the syntax ambiguous since
<local-id>
could potentially contain anything, and<scheme>
could belocal
- I don't anybody sane would do that but technically it is a source of confusion.The text was updated successfully, but these errors were encountered: