New Func backend: First iteration

.eslintignore

@@ -6,5 +6,7 @@ src/test/**/output/
 src/func/funcfiftlib.js
 src/grammar/grammar.ohm*.ts
 src/grammar/grammar.ohm*.js
+src/func/grammar.ohm*.ts
+src/func/grammar.ohm*.js
 jest.setup.js
-jest.teardown.js
+jest.teardown.js

.gitignore

@@ -7,5 +7,7 @@ dist
 output/
 src/grammar/grammar.ohm-bundle.js
 src/grammar/grammar.ohm-bundle.d.ts
+src/func/grammar.ohm*.ts
+src/func/grammar.ohm*.js
 src/func/funcfiftlib.wasm.js
 src/test/contracts/pretty-printer-output

.prettierignore

@@ -4,5 +4,7 @@
 /src/func/funcfiftlib.wasm.js
 /src/grammar/grammar.ohm-bundle.d.ts
 /src/grammar/grammar.ohm-bundle.js
+/src/func/grammar.ohm*.ts
+/src/func/grammar.ohm*.js
 /src/imports/stdlib.ts
 /grammar

cspell.json

@@ -64,6 +64,10 @@
     "Korshakov",
     "Laika",
     "langle",
+    "lbrack",
+    "lparen",
+    "lquote",
+    "ltick",
     "LDIX",
     "LDREF",
     "LDSLICEX",
@@ -77,6 +81,11 @@
     "maxint",
     "minmax",
     "mintable",
+    "moddiv",
+    "muldiv",
+    "muldivc",
+    "muldivmod",
+    "muldivr",
     "mktemp",
     "multiformats",
     "MYADDR",
@@ -97,6 +106,9 @@
     "POSIX",
     "postpack",
     "prando",
+    "qmark",
+    "rangle",
+    "rbrack",
     "PUSHREF",
     "PUSHSLICE",
     "RANDU",
@@ -107,6 +119,8 @@
     "REWRITESTDADDR",
     "REWRITEVARADDR",
     "rparen",
+    "rquote",
+    "rtick",
     "rugpull",
     "rugpulled",
     "SBITS",
@@ -126,6 +140,7 @@
     "STBR",
     "STDICT",
     "stdlib",
+    "stdump",
     "STIX",
     "STOPTREF",
     "STREF",
@@ -159,6 +174,14 @@
     "*.spec.ts.snap",
     "node_modules",
     "dist",
+    "examples/__snapshots__/multisig-3.spec.ts.snap",
+    "/func",
+    "scripts/func",
+    "src/func/__snapshots__/*",
+    "src/func/grammar.ohm*",
+    "src/func/funcfiftlib*",
+    "src/func/grammar-test/*",
+    "src/func/grammar-test-failed/*",
     "func",
     "grammar/sample.json",
     "src/generator/writers/writeStdlib.ts",

package.json

@@ -10,14 +10,15 @@
   "author": "Steve Korshakov <steve@korshakov.com>",
   "license": "MIT",
   "scripts": {
-    "gen:grammar": "ohm generateBundles --withTypes src/grammar/*.ohm",
+    "gen:grammar": "ohm generateBundles --withTypes src/grammar/*.ohm src/func/*.ohm",
     "gen:pack": "ts-node ./scripts/pack.ts",
     "gen:compiler": "ts-node ./scripts/prepare.ts",
     "gen": "yarn gen:grammar && yarn gen:pack && yarn gen:compiler",
     "clean": "rm -fr dist",
+    "build": "tsc && cp ./src/grammar/grammar.ohm* ./dist/grammar/  && cp ./src/func/grammar.ohm* ./dist/func/ && cp ./src/func/funcfiftlib.* ./dist/func",
     "cleanall": "rm -fr dist node_modules",
-    "build": "tsc && cp ./src/grammar/grammar.ohm* ./dist/grammar/ && cp ./src/func/funcfiftlib.* ./dist/func",
     "test": "jest",
+    "test:func": "yarn gen:grammar && jest -t 'FunC grammar and parser'",
     "coverage": "cross-env COVERAGE=true jest",
     "release": "yarn clean && yarn build && yarn coverage && yarn release-it --npm.yarn1",
     "lint": "yarn eslint .",
@@ -47,6 +48,7 @@
     "@tact-lang/opcode": "^0.0.16",
     "@ton/core": "0.57.0",
     "@ton/crypto": "^3.2.0",
+    "@types/json-bigint": "^1.0.4",
     "blockstore-core": "1.0.5",
     "change-case": "^4.1.2",
     "crc-32": "1.2.2",

src/func/__snapshots__/grammar.spec.ts.snap

@@ -0,0 +1,238 @@
+// Jest Snapshot v1, https://goo.gl/fbAQLP
+
+exports[`FunC grammar and parser should NOT parse id-arith-operator 1`] = `
+"id-arith-operator.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () /();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-assign-operator 1`] = `
+"id-assign-operator.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () ^>>=();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-bitwise-operator 1`] = `
+"id-bitwise-operator.fc:1:5: Parse error: expected not (a whiteSpace or "(" or ")" or "[" or "]" or "," or "." or ";" or "~"), "~_", "_", or "\`"
+
+Line 1, col 5:
+> 1 | () ~();
+          ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-comma 1`] = `
+"id-comma.fc:1:16: Parse error: expected "("
+
+Line 1, col 16:
+> 1 | () send_message,then_terminate();
+                     ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-comparison-operator 1`] = `
+"id-comparison-operator.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () <=>();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-control-keyword 1`] = `
+"id-control-keyword.fc:1:1: Name of the function cannot be a control keyword
+Line 1, col 1:
+> 1 | () elseifnot();
+      ^~~~~~~~~~~~~~
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-delimiter 1`] = `
+"id-delimiter.fc:1:4: Parse error: expected not (a whiteSpace or "(" or ")" or "[" or "]" or "," or "." or ";" or "~"), "~_", "_", "\`", or "->"
+
+Line 1, col 4:
+> 1 | () [();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-directive 1`] = `
+"id-directive.fc:1:1: Name of the function cannot be a compiler directive
+Line 1, col 1:
+> 1 | () #include();
+      ^~~~~~~~~~~~~
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-dot 1`] = `
+"id-dot.fc:1:7: Parse error: expected "("
+
+Line 1, col 7:
+> 1 | () msg.sender();
+            ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-keyword 1`] = `
+"id-keyword.fc:1:1: Name of the function cannot be a keyword
+Line 1, col 1:
+> 1 | () global();
+      ^~~~~~~~~~~
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-multiline-comments 1`] = `
+"id-multiline-comments.fc:1:11: Parse error: expected not (a whiteSpace or "(" or ")" or "[" or "]" or "," or "." or ";" or "~"), "~_", "_", "\`", or "->"
+
+Line 1, col 11:
+> 1 | () {-aaa-}();
+                ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-number 1`] = `
+"id-number.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () 123();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-number-decimal 1`] = `
+"id-number-decimal.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () 0();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-number-hexadecimal 1`] = `
+"id-number-hexadecimal.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () 0x0();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-number-hexadecimal-2 1`] = `
+"id-number-hexadecimal-2.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () 0xDEADBEEF();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-number-neg-decimal 1`] = `
+"id-number-neg-decimal.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () -1();
+         ^
+  2 | native idTest();
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-number-neg-hexadecimal 1`] = `
+"id-number-neg-hexadecimal.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () -0x0();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-only-underscore 1`] = `
+"id-only-underscore.fc:1:4: Parse error: expected not ((a hole or an integerLiteral or a delimiter or an operator or a primitive) not a rawId) or "->"
+
+Line 1, col 4:
+> 1 | () _();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-parens 1`] = `
+"id-parens.fc:1:15: Parse error: expected "{", ";", or "asm"
+
+Line 1, col 15:
+> 1 | () take(first)Entry();
+                    ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-semicolons 1`] = `
+"id-semicolons.fc:2:1: Parse error: expected "("
+
+Line 2, col 1:
+  1 | () pa;;in"\`aaa\`"();
+> 2 | 
+      ^
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-space 1`] = `
+"id-space.fc:1:8: Parse error: expected "("
+
+Line 1, col 8:
+> 1 | () foo foo();
+             ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-string 1`] = `
+"id-string.fc:1:4: Parse error: expected not ("\\"" or "{-") or "->"
+
+Line 1, col 4:
+> 1 | () "not_a_string();
+         ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-type-keyword 1`] = `
+"id-type-keyword.fc:1:6: Parse error: expected "
", "
", "\\r", "\\n", " ", or "\\t"
+
+Line 1, col 6:
+> 1 | () ->();
+           ^
+  2 | 
+"
+`;
+
+exports[`FunC grammar and parser should NOT parse id-unclosed-parens 1`] = `
+"id-unclosed-parens.fc:1:9: Parse error: expected ")"
+
+Line 1, col 9:
+> 1 | () aa(bb();
+              ^
+  2 | 
+"
+`;

src/func/grammar-test-failed/id-arith-operator.fc

@@ -0,0 +1 @@
+() /();

src/func/grammar-test-failed/id-assign-operator.fc

@@ -0,0 +1 @@
+() ^>>=();

src/func/grammar-test-failed/id-bitwise-operator.fc

@@ -0,0 +1 @@
+() ~();

src/func/grammar-test-failed/id-comma.fc

@@ -0,0 +1 @@
+() send_message,then_terminate();

src/func/grammar-test-failed/id-comparison-operator.fc

@@ -0,0 +1 @@
+() <=>();

src/func/grammar-test-failed/id-control-keyword.fc

@@ -0,0 +1 @@
+() elseifnot();

src/func/grammar-test-failed/id-delimiter.fc

@@ -0,0 +1 @@
+() [();

src/func/grammar-test-failed/id-directive.fc

@@ -0,0 +1 @@
+() #include();

src/func/grammar-test-failed/id-dot.fc

@@ -0,0 +1 @@
+() msg.sender();

src/func/grammar-test-failed/id-keyword.fc

@@ -0,0 +1 @@
+() global();

src/func/grammar-test-failed/id-multiline-comments.fc

@@ -0,0 +1 @@
+() {-aaa-}();

src/func/grammar-test-failed/id-number-decimal.fc

@@ -0,0 +1 @@
+() 0();

src/func/grammar-test-failed/id-number-hexadecimal-2.fc

@@ -0,0 +1 @@
+() 0xDEADBEEF();

src/func/grammar-test-failed/id-number-hexadecimal.fc

@@ -0,0 +1 @@
+() 0x0();

src/func/grammar-test-failed/id-number-neg-decimal.fc

@@ -0,0 +1,2 @@
+() -1();
+native idTest();

src/func/grammar-test-failed/id-number-neg-hexadecimal.fc

@@ -0,0 +1 @@
+() -0x0();

src/func/grammar-test-failed/id-number.fc

@@ -0,0 +1 @@
+() 123();

src/func/grammar-test-failed/id-only-underscore.fc

@@ -0,0 +1 @@
+() _();

src/func/grammar-test-failed/id-parens.fc

@@ -0,0 +1 @@
+() take(first)Entry();

src/func/grammar-test-failed/id-semicolons.fc

@@ -0,0 +1 @@
+() pa;;in"`aaa`"();

src/func/grammar-test-failed/id-space.fc

@@ -0,0 +1 @@
+() foo foo();