refactor: remove extraneous globals from semantics and AST (#1196)

* refactor: move SrcInfo to a separate file

.eslintignore

@@ -4,8 +4,8 @@ coverage/
 **/output/
 src/test/**/output/
 src/func/funcfiftlib.js
-src/grammar/grammar.ohm*.ts
-src/grammar/grammar.ohm*.js
+**/grammar.ohm*.ts
+**/grammar.ohm*.js
 jest.setup.js
 jest.teardown.js
 /docs

.gitignore

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

src/abi/AbiFunction.ts

@@ -1,7 +1,8 @@
-import { AstExpression, SrcInfo } from "../grammar/ast";
+import { AstExpression } from "../grammar/ast";
 import { CompilerContext } from "../context";
 import { WriterContext } from "../generator/Writer";
 import { TypeRef } from "../types/types";
+import { SrcInfo } from "../grammar";
 
 export type AbiFunction = {
     name: string;

src/abi/map.ts

@@ -1,5 +1,5 @@
 import { CompilerContext } from "../context";
-import { SrcInfo } from "../grammar/grammar";
+import { SrcInfo } from "../grammar";
 import { TypeRef } from "../types/types";
 import { WriterContext } from "../generator/Writer";
 import { ops } from "../generator/writers/ops";

src/check.ts

@@ -1,5 +1,7 @@
 import { featureEnable } from "./config/features";
 import { CompilerContext } from "./context";
+import { getAstFactory } from "./grammar/ast";
+import { getParser } from "./grammar";
 import files from "./imports/stdlib";
 import { createVirtualFileSystem, TactError, VirtualFileSystem } from "./main";
 import { precompile } from "./pipeline/precompile";
@@ -35,10 +37,13 @@ export function check(args: {
     ctx = featureEnable(ctx, "masterchain"); // Enable masterchain flag to avoid masterchain-specific errors
     ctx = featureEnable(ctx, "external"); // Enable external messages flag to avoid external-specific errors
 
+    const ast = getAstFactory();
+    const parser = getParser(ast);
+
     // Execute check
     const items: CheckResultItem[] = [];
     try {
-        precompile(ctx, args.project, stdlib, args.entrypoint);
+        precompile(ctx, args.project, stdlib, args.entrypoint, parser, ast);
     } catch (e) {
         if (e instanceof TactError) {
             items.push({