-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Distinguish literal from unknown concept #466
Conversation
</li> | ||
</ul> | ||
</dd> | ||
<dt><dfn data-dfn-for="intent" id="intent_number">number</dfn></dt> | ||
<dd> | ||
A literal <a data-link-for="intent" data-link-type="dfn" href="#intent_number">number</a> such as <code>2.5</code> denotes itself. | ||
An explicit <a data-link-for="intent" data-link-type="dfn" href="#intent_number">number</a> such as <code>2.5</code> denotes itself. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ah good catch, unrelated use of "literal" we should make this change in any case, it is independent of any concept/literal rewording
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I am very fond of the minimal rewording here.
This PR achieves the main remaining clarification which had ongoing discussion in #459 , and is a great substitute to the work there.
I am merging this so we have a hopefully better document to discuss at the meeting. |
SHA: 0274979 Reason: push, by NSoiffer Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
This PR is a modest alternative to #459 that primarily distinguishes concepts not currently know by the AT and literals; the latter now being only explicit literals prefixed by
_
.Even though an unknown concept is treated the same as an explicit literal, there is an important distinction: an unknown concept is only unknown for a particular AT and a particular version of the concept dictionaries; future updates may add it to a dictionary and then it is known, possibly with special behaviors.
So, while I would generally discourage use of literals, where someone insists on specific speech that doesn't correspond to a sensible concept, I would recommend they use a literal. This seems better than using a concept hoping that it probably never will be added to a dictionary. Of course, if they think it's a concept then a concept it is.
In this PR, I'm making the distinction in the text below the grammar rather than in the grammar itself. This is solely to avoid getting mired in character class details. If we decide to drop
NCNAME
and be more explicit in the grammar (something along the lines of a concept starting with a letter; a literal starts with an "_"), we probably should have separateConcept
andLiteral
productions.