occam-grammars 1.3.577 → 1.3.579
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/nominal/entries.js +3 -3
- package/package.json +1 -1
- package/src/nominal/entries.js +2 -2
package/lib/nominal/entries.js
CHANGED
|
@@ -14,7 +14,7 @@ const entries = [
|
|
|
14
14
|
"primary-keyword": "^(?:Rule|Axiom|Theorem|Lemma|Conjecture|Schema|Premises|Premise|Conclusion|Proof|Therefore|Suppose|Hence|Then|Provisional|Type|TypePrefix|Properties|Property|Variable|Combinator|Constructor|Generator|Metavariable|Given)\\b"
|
|
15
15
|
},
|
|
16
16
|
{
|
|
17
|
-
"secondary-keyword": "^(?:is|in|an|a|
|
|
17
|
+
"secondary-keyword": "^(?:is|in|an|a|by|from|because|for|satisfies|provisionally|defined|undefined|missing|present)\\b"
|
|
18
18
|
},
|
|
19
19
|
{
|
|
20
20
|
"meta-type": "^(?:Statement|Reference|Frame)\\b"
|
|
@@ -26,7 +26,7 @@ const entries = [
|
|
|
26
26
|
"identifier": `^(?:${LATIN_LOWER_CASE}${DECIMAL}*|${GREEK}+|${MATHEMATICAL_SANS_SERIF_BOLD}+|${MATHEMATICAL_ITALIC_UPPER_CASE}+|${MATHEMATICAL_SCRIPT_UPPER_CASE}+|${MATHEMATICAL_FRAKTUR_UPPER_CASE}+)`
|
|
27
27
|
},
|
|
28
28
|
{
|
|
29
|
-
"primitive": "^(?:\\||\\.\\.\\.|\\.|\\(|\\)|\\[|\\]
|
|
29
|
+
"primitive": "^(?:\\||\\.\\.\\.|\\.|\\(|\\)|\\[|\\]|\\+|-|,|<|>|of)"
|
|
30
30
|
},
|
|
31
31
|
{
|
|
32
32
|
"special": "^(?:@|::|:|=)"
|
|
@@ -37,4 +37,4 @@ const entries = [
|
|
|
37
37
|
];
|
|
38
38
|
const _default = entries;
|
|
39
39
|
|
|
40
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub21pbmFsL2VudHJpZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XHJcblxyXG5jb25zdCBHUkVFSyA9IFwiW1xcXFxwe1NjcmlwdD1HcmVla31dXCIsXHJcbiAgICAgIExBVElOID0gXCJbXFxcXHB7U2NyaXB0PUxhdGlufV1cIixcclxuICAgICAgREVDSU1BTCA9IFwiWzAtOV1cIixcclxuICAgICAgTEFUSU5fTE9XRVJfQ0FTRSA9IFwiW1xcXFxwe1NjcmlwdD1MYXRpbn0mJlxcXFxwe0xvd2VyY2FzZX1dXCIsXHJcbiAgICAgIExBVElOX1VQUEVSX0NBU0UgPSBcIltcXFxccHtTY3JpcHQ9TGF0aW59JiZcXFxccHtVcHBlcmNhc2V9XVwiLFxyXG4gICAgICBNQVRIRU1BVElDQUxfU0FOU19TRVJJRl9CT0xEID0gXCJbXFxcXHV7MUQ1RDR9LVxcXFx1ezFENjA3fV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX0lUQUxJQ19VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ0MzR9LVxcXFx1ezFENDREfV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX1NDUklQVF9VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ0OUN9XFxcXHV7MjEyQ31cXFxcdXsxRDQ5RX1cXFxcdXsxRDQ5Rn1cXFxcdXsyMTMwfVxcXFx1ezIxMzF9XFxcXHV7MUQ0QTJ9XFxcXHV7MjEwQn1cXFxcdXsyMTEwfVxcXFx1ezFENEE1fVxcXFx1ezFENEE2fVxcXFx1ezIxMTJ9XFxcXHV7MjEzM31cXFxcdXsxRDRBOX0tXFxcXHV7MUQ0QUN9XFxcXHV7MjExQn1cXFxcdXsxRDRBRX0tXFxcXHV7MUQ0QjV9XVwiLFxyXG4gICAgICBNQVRIRU1BVElDQUxfRlJBS1RVUl9VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ1MDR9XFxcXHV7MUQ1MDV9XFxcXHV7MjEyRH1cXFxcdXsxRDUwN30tXFxcXHV7MUQ1MEF9XFxcXHV7MjEwQ31cXFxcdXsyMTExfVxcXFx1ezFENTBEfS1cXFxcdXsxRDUxNH1cXFxcdXsyMTFDfVxcXFx1ezFENTE2fS1cXFxcdXsxRDUxQ31cXFxcdXsyMTI4fV1cIjtcclxuXHJcbmNvbnN0IGVudHJpZXMgPSBbXHJcbiAge1xyXG4gICAgXCJwcmltYXJ5LWtleXdvcmRcIjogXCJeKD86UnVsZXxBeGlvbXxUaGVvcmVtfExlbW1hfENvbmplY3R1cmV8U2NoZW1hfFByZW1pc2VzfFByZW1pc2V8Q29uY2x1c2lvbnxQcm9vZnxUaGVyZWZvcmV8U3VwcG9zZXxIZW5jZXxUaGVufFByb3Zpc2lvbmFsfFR5cGV8VHlwZVByZWZpeHxQcm9wZXJ0aWVzfFByb3BlcnR5fFZhcmlhYmxlfENvbWJpbmF0b3J8Q29uc3RydWN0b3J8R2VuZXJhdG9yfE1ldGF2YXJpYWJsZXxHaXZlbilcXFxcYlwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInNlY29uZGFyeS1rZXl3b3JkXCI6IFwiXig/
|
|
40
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub21pbmFsL2VudHJpZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XHJcblxyXG5jb25zdCBHUkVFSyA9IFwiW1xcXFxwe1NjcmlwdD1HcmVla31dXCIsXHJcbiAgICAgIExBVElOID0gXCJbXFxcXHB7U2NyaXB0PUxhdGlufV1cIixcclxuICAgICAgREVDSU1BTCA9IFwiWzAtOV1cIixcclxuICAgICAgTEFUSU5fTE9XRVJfQ0FTRSA9IFwiW1xcXFxwe1NjcmlwdD1MYXRpbn0mJlxcXFxwe0xvd2VyY2FzZX1dXCIsXHJcbiAgICAgIExBVElOX1VQUEVSX0NBU0UgPSBcIltcXFxccHtTY3JpcHQ9TGF0aW59JiZcXFxccHtVcHBlcmNhc2V9XVwiLFxyXG4gICAgICBNQVRIRU1BVElDQUxfU0FOU19TRVJJRl9CT0xEID0gXCJbXFxcXHV7MUQ1RDR9LVxcXFx1ezFENjA3fV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX0lUQUxJQ19VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ0MzR9LVxcXFx1ezFENDREfV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX1NDUklQVF9VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ0OUN9XFxcXHV7MjEyQ31cXFxcdXsxRDQ5RX1cXFxcdXsxRDQ5Rn1cXFxcdXsyMTMwfVxcXFx1ezIxMzF9XFxcXHV7MUQ0QTJ9XFxcXHV7MjEwQn1cXFxcdXsyMTEwfVxcXFx1ezFENEE1fVxcXFx1ezFENEE2fVxcXFx1ezIxMTJ9XFxcXHV7MjEzM31cXFxcdXsxRDRBOX0tXFxcXHV7MUQ0QUN9XFxcXHV7MjExQn1cXFxcdXsxRDRBRX0tXFxcXHV7MUQ0QjV9XVwiLFxyXG4gICAgICBNQVRIRU1BVElDQUxfRlJBS1RVUl9VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ1MDR9XFxcXHV7MUQ1MDV9XFxcXHV7MjEyRH1cXFxcdXsxRDUwN30tXFxcXHV7MUQ1MEF9XFxcXHV7MjEwQ31cXFxcdXsyMTExfVxcXFx1ezFENTBEfS1cXFxcdXsxRDUxNH1cXFxcdXsyMTFDfVxcXFx1ezFENTE2fS1cXFxcdXsxRDUxQ31cXFxcdXsyMTI4fV1cIjtcclxuXHJcbmNvbnN0IGVudHJpZXMgPSBbXHJcbiAge1xyXG4gICAgXCJwcmltYXJ5LWtleXdvcmRcIjogXCJeKD86UnVsZXxBeGlvbXxUaGVvcmVtfExlbW1hfENvbmplY3R1cmV8U2NoZW1hfFByZW1pc2VzfFByZW1pc2V8Q29uY2x1c2lvbnxQcm9vZnxUaGVyZWZvcmV8U3VwcG9zZXxIZW5jZXxUaGVufFByb3Zpc2lvbmFsfFR5cGV8VHlwZVByZWZpeHxQcm9wZXJ0aWVzfFByb3BlcnR5fFZhcmlhYmxlfENvbWJpbmF0b3J8Q29uc3RydWN0b3J8R2VuZXJhdG9yfE1ldGF2YXJpYWJsZXxHaXZlbilcXFxcYlwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInNlY29uZGFyeS1rZXl3b3JkXCI6IFwiXig/OmlzfGlufGFufGF8Ynl8ZnJvbXxiZWNhdXNlfGZvcnxzYXRpc2ZpZXN8cHJvdmlzaW9uYWxseXxkZWZpbmVkfHVuZGVmaW5lZHxtaXNzaW5nfHByZXNlbnQpXFxcXGJcIlxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJtZXRhLXR5cGVcIjogXCJeKD86U3RhdGVtZW50fFJlZmVyZW5jZXxGcmFtZSlcXFxcYlwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcIm5hbWVcIjogYF4oPzoke0xBVElOX1VQUEVSX0NBU0V9JHtMQVRJTn0qJHtERUNJTUFMfSp8JHtMQVRJTl9MT1dFUl9DQVNFfSR7TEFUSU59KyR7REVDSU1BTH0qKWAsXHJcbiAgfSxcclxuICB7XHJcbiAgICBcImlkZW50aWZpZXJcIjogYF4oPzoke0xBVElOX0xPV0VSX0NBU0V9JHtERUNJTUFMfSp8JHtHUkVFS30rfCR7TUFUSEVNQVRJQ0FMX1NBTlNfU0VSSUZfQk9MRH0rfCR7TUFUSEVNQVRJQ0FMX0lUQUxJQ19VUFBFUl9DQVNFfSt8JHtNQVRIRU1BVElDQUxfU0NSSVBUX1VQUEVSX0NBU0V9K3wke01BVEhFTUFUSUNBTF9GUkFLVFVSX1VQUEVSX0NBU0V9KylgXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInByaW1pdGl2ZVwiOiBcIl4oPzpcXFxcfHxcXFxcLlxcXFwuXFxcXC58XFxcXC58XFxcXCh8XFxcXCl8XFxcXFt8XFxcXF18XFxcXCt8LXwsfDx8PnxvZilcIlxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJzcGVjaWFsXCI6IFwiXig/OkB8Ojp8Onw9KVwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInVuYXNzaWduZWRcIjogXCJeW15cXFxcc1xcXFwoXFxcXClcXFxcW1xcXFxdOixdK1wiXHJcbiAgfVxyXG5dO1xyXG5cclxuZXhwb3J0IGRlZmF1bHQgZW50cmllcztcclxuIl0sIm5hbWVzIjpbIkdSRUVLIiwiTEFUSU4iLCJERUNJTUFMIiwiTEFUSU5fTE9XRVJfQ0FTRSIsIkxBVElOX1VQUEVSX0NBU0UiLCJNQVRIRU1BVElDQUxfU0FOU19TRVJJRl9CT0xEIiwiTUFUSEVNQVRJQ0FMX0lUQUxJQ19VUFBFUl9DQVNFIiwiTUFUSEVNQVRJQ0FMX1NDUklQVF9VUFBFUl9DQVNFIiwiTUFUSEVNQVRJQ0FMX0ZSQUtUVVJfVVBQRVJfQ0FTRSIsImVudHJpZXMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQXVDQTs7O2VBQUE7OztBQXJDQSxNQUFNQSxRQUFRLHVCQUNSQyxRQUFRLHVCQUNSQyxVQUFVLFNBQ1ZDLG1CQUFtQix1Q0FDbkJDLG1CQUFtQix1Q0FDbkJDLCtCQUErQiwyQkFDL0JDLGlDQUFpQywyQkFDakNDLGlDQUFpQyxvTEFDakNDLGtDQUFrQztBQUV4QyxNQUFNQyxVQUFVO0lBQ2Q7UUFDRSxtQkFBbUI7SUFDckI7SUFDQTtRQUNFLHFCQUFxQjtJQUN2QjtJQUNBO1FBQ0UsYUFBYTtJQUNmO0lBQ0E7UUFDRSxRQUFRLENBQUMsSUFBSSxFQUFFTCxtQkFBbUJILE1BQU0sQ0FBQyxFQUFFQyxRQUFRLEVBQUUsRUFBRUMsbUJBQW1CRixNQUFNLENBQUMsRUFBRUMsUUFBUSxFQUFFLENBQUM7SUFDaEc7SUFDQTtRQUNFLGNBQWMsQ0FBQyxJQUFJLEVBQUVDLG1CQUFtQkQsUUFBUSxFQUFFLEVBQUVGLE1BQU0sRUFBRSxFQUFFSyw2QkFBNkIsRUFBRSxFQUFFQywrQkFBK0IsRUFBRSxFQUFFQywrQkFBK0IsRUFBRSxFQUFFQyxnQ0FBZ0MsRUFBRSxDQUFDO0lBQzFNO0lBQ0E7UUFDRSxhQUFhO0lBQ2Y7SUFDQTtRQUNFLFdBQVc7SUFDYjtJQUNBO1FBQ0UsY0FBYztJQUNoQjtDQUNEO01BRUQsV0FBZUMifQ==
|
package/package.json
CHANGED
package/src/nominal/entries.js
CHANGED
|
@@ -15,7 +15,7 @@ const entries = [
|
|
|
15
15
|
"primary-keyword": "^(?:Rule|Axiom|Theorem|Lemma|Conjecture|Schema|Premises|Premise|Conclusion|Proof|Therefore|Suppose|Hence|Then|Provisional|Type|TypePrefix|Properties|Property|Variable|Combinator|Constructor|Generator|Metavariable|Given)\\b"
|
|
16
16
|
},
|
|
17
17
|
{
|
|
18
|
-
"secondary-keyword": "^(?:is|in|an|a|
|
|
18
|
+
"secondary-keyword": "^(?:is|in|an|a|by|from|because|for|satisfies|provisionally|defined|undefined|missing|present)\\b"
|
|
19
19
|
},
|
|
20
20
|
{
|
|
21
21
|
"meta-type": "^(?:Statement|Reference|Frame)\\b"
|
|
@@ -27,7 +27,7 @@ const entries = [
|
|
|
27
27
|
"identifier": `^(?:${LATIN_LOWER_CASE}${DECIMAL}*|${GREEK}+|${MATHEMATICAL_SANS_SERIF_BOLD}+|${MATHEMATICAL_ITALIC_UPPER_CASE}+|${MATHEMATICAL_SCRIPT_UPPER_CASE}+|${MATHEMATICAL_FRAKTUR_UPPER_CASE}+)`
|
|
28
28
|
},
|
|
29
29
|
{
|
|
30
|
-
"primitive": "^(?:\\||\\.\\.\\.|\\.|\\(|\\)|\\[|\\]
|
|
30
|
+
"primitive": "^(?:\\||\\.\\.\\.|\\.|\\(|\\)|\\[|\\]|\\+|-|,|<|>|of)"
|
|
31
31
|
},
|
|
32
32
|
{
|
|
33
33
|
"special": "^(?:@|::|:|=)"
|