envio 3.14.0 → 3.14.1-resolvers.2

package/src/HandlerTypeCheck.res.mjs

@@ -0,0 +1,262 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Fs from "fs";
+import * as Path from "path";
+import * as Util from "util";
+import * as Module from "module";
+import * as Process from "process";
+import * as Stdlib_Int from "@rescript/runtime/lib/es6/Stdlib_Int.js";
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Child_process from "child_process";
+import * as Primitive_option from "@rescript/runtime/lib/es6/Primitive_option.js";
+
+let fileDiagnostic = /^(.+):\d+:\d+ - error TS(\d+): /;
+
+let globalDiagnostic = /^error TS(\d+): /;
+
+let summary = /^Found \d+ errors?\b/;
+
+let thrownError = /^\w*Error: /;
+
+function lines(output) {
+  return output.replaceAll("\r\n", "\n").split("\n");
+}
+
+function findUp(_directory, name) {
+  while (true) {
+    let directory = _directory;
+    let candidate = Path.resolve(directory, name);
+    if (Fs.existsSync(candidate)) {
+      return candidate;
+    }
+    let parent = Path.dirname(directory);
+    if (parent === directory) {
+      return;
+    }
+    _directory = parent;
+    continue;
+  };
+}
+
+function resolveTsc(cwd) {
+  try {
+    let manifest = Module.createRequire(Path.resolve(cwd, "package.json")).resolve("typescript/package.json");
+    let fields = JSON.parse(Fs.readFileSync(manifest, "utf8"));
+    let bin;
+    if (typeof fields === "object" && fields !== null && !Array.isArray(fields)) {
+      let match = fields["bin"];
+      if (match !== undefined && !(match === null || Array.isArray(match))) {
+        switch (typeof match) {
+          case "string" :
+            bin = match;
+            break;
+          case "object" :
+            let match$1 = match["tsc"];
+            bin = typeof match$1 === "string" ? match$1 : undefined;
+            break;
+          default:
+            bin = undefined;
+        }
+      } else {
+        bin = undefined;
+      }
+    } else {
+      bin = undefined;
+    }
+    return Stdlib_Option.map(bin, bin => Path.resolve(Path.dirname(manifest), bin));
+  } catch (exn) {
+    return;
+  }
+}
+
+function runTsc(tsc, cwd, args) {
+  return new Promise((resolve, param) => {
+    Child_process.execFile(Process.execPath, [tsc].concat(args), {
+      cwd: cwd,
+      timeout: 30000,
+      maxBuffer: Number.POSITIVE_INFINITY
+    }, (error, stdout, stderr) => resolve({
+      error: error === null ? undefined : Primitive_option.some(error),
+      output: Util.stripVTControlCharacters(stdout + stderr)
+    }));
+  });
+}
+
+function canStopTypeChecking(param) {
+  let code = param.code;
+  if (Stdlib_Option.isNone(param.file) || code < 2000) {
+    return true;
+  } else if (code >= 5000) {
+    return code < 7000;
+  } else {
+    return false;
+  }
+}
+
+function parse(output, cwd) {
+  let relative = file => Path.relative(cwd, Path.resolve(cwd, file));
+  let diagnostics = [];
+  let programFiles = new Set();
+  let current = {
+    contents: undefined
+  };
+  let start = (file, code, line) => {
+    let diagnostic_code = Stdlib_Option.getOr(Stdlib_Int.fromString(code, undefined), 0);
+    let diagnostic_lines = [line];
+    let diagnostic = {
+      file: file,
+      code: diagnostic_code,
+      lines: diagnostic_lines
+    };
+    diagnostics.push(diagnostic);
+    current.contents = diagnostic;
+  };
+  lines(output).forEach(line => {
+    let match = Stdlib_Option.map(Primitive_option.fromNullable(fileDiagnostic.exec(line)), prim => prim.slice(1));
+    let match$1 = Stdlib_Option.map(Primitive_option.fromNullable(globalDiagnostic.exec(line)), prim => prim.slice(1));
+    let exit = 0;
+    if (match !== undefined && match.length === 2) {
+      let file = match[0];
+      if (file !== undefined) {
+        let code = match[1];
+        if (code !== undefined) {
+          return start(relative(file), code, line);
+        }
+        exit = 2;
+      } else {
+        exit = 2;
+      }
+    } else {
+      exit = 2;
+    }
+    if (exit === 2 && match$1 !== undefined && match$1.length === 1) {
+      let code$1 = match$1[0];
+      if (code$1 !== undefined) {
+        return start(undefined, code$1, line);
+      }
+    }
+    if (Path.isAbsolute(line)) {
+      programFiles.add(relative(line));
+      current.contents = undefined;
+      return;
+    } else if (summary.test(line)) {
+      current.contents = undefined;
+      return;
+    } else {
+      return Stdlib_Option.forEach(current.contents, diagnostic => {
+        diagnostic.lines.push(line);
+      });
+    }
+  });
+  return [
+    diagnostics,
+    programFiles
+  ];
+}
+
+function failure(param) {
+  let output = param.output;
+  let error = param.error;
+  if (error !== undefined && error.killed) {
+    return `Skipped the handler type check: tsc didn't finish within ` + (30).toString() + ` seconds.`;
+  }
+  let reason = Stdlib_Option.getOr(lines(output).find(line => thrownError.test(line)), output.trim());
+  return `Skipped the handler type check: tsc failed to run:\n\n` + reason;
+}
+
+async function check(cwd, files) {
+  let skip = warning => {
+    if (Fs.existsSync(Path.resolve(cwd, "rescript.json"))) {
+      return "Passed";
+    } else {
+      return {
+        TAG: "Skipped",
+        _0: warning
+      };
+    }
+  };
+  let match = resolveTsc(cwd);
+  let match$1 = findUp(cwd, "tsconfig.json");
+  if (match === undefined) {
+    return skip("Skipped the handler type check: typescript isn't installed. Add it to devDependencies to type-check handlers on start.");
+  }
+  if (match$1 === undefined) {
+    return skip("Skipped the handler type check: no tsconfig.json found. Add one, like the one envio init creates, to type-check handlers on start.");
+  }
+  let run = await runTsc(match, cwd, [
+    "--project",
+    match$1,
+    "--noEmit",
+    "--incremental",
+    "false",
+    "--composite",
+    "false",
+    "--listFiles",
+    "--explainFiles",
+    "false",
+    "--pretty"
+  ]);
+  let match$2 = parse(run.output, cwd);
+  let programFiles = match$2[1];
+  let diagnostics = match$2[0];
+  let report = diagnostics => diagnostics.map(param => param.lines.join("\n").trimEnd()).join("\n\n");
+  let handlers = files.map(file => Path.relative(cwd, file));
+  let isHandler = param => Stdlib_Option.mapOr(param.file, false, file => handlers.includes(file));
+  let errors = diagnostics.filter(isHandler);
+  let stopping = diagnostics.filter(diagnostic => {
+    if (isHandler(diagnostic)) {
+      return false;
+    } else {
+      return canStopTypeChecking(diagnostic);
+    }
+  });
+  let unchecked = handlers.filter(file => !programFiles.has(file));
+  if (Stdlib_Option.isSome(run.error) && diagnostics.length === 0) {
+    return {
+      TAG: "Skipped",
+      _0: failure(run)
+    };
+  }
+  if (errors.length !== 0) {
+    return {
+      TAG: "TypeErrors",
+      _0: report(errors)
+    };
+  }
+  if (stopping.length !== 0) {
+    let reason = report(stopping);
+    return {
+      TAG: "Skipped",
+      _0: `Skipped the handler type check: tsc can't check the handlers until these errors are fixed:\n\n` + reason
+    };
+  }
+  if (unchecked.length === 0) {
+    return "Passed";
+  }
+  let names = unchecked.join(", ");
+  let tsconfig = Path.relative(cwd, match$1);
+  let pronoun = unchecked.length === 1 ? "it" : "them";
+  return {
+    TAG: "Skipped",
+    _0: `Skipped the handler type check: ` + tsconfig + ` doesn't include ` + names + `. Add ` + pronoun + ` to "include" to type-check ` + pronoun + ` on start.`
+  };
+}
+
+let timeoutSeconds = 30;
+
+export {
+  timeoutSeconds,
+  fileDiagnostic,
+  globalDiagnostic,
+  summary,
+  thrownError,
+  lines,
+  findUp,
+  resolveTsc,
+  runTsc,
+  canStopTypeChecking,
+  parse,
+  failure,
+  check,
+}
+/* fs Not a pure module */

package/src/bindings/NodeJs.res

@@ -39,6 +39,15 @@ module Util = {
   @module("util") external inspect: ('a, inspectOptions) => string = "inspect"
 
   let inspectObj = a => inspect(a, {showHidden: false, depth: Null, colors: true})
+
+  @module("util") external stripVTControlCharacters: string => string = "stripVTControlCharacters"
+}
+
+module Module = {
+  type require
+
+  @module("module") external createRequire: string => require = "createRequire"
+  @send external resolve: (require, string) => string = "resolve"
 }
 
 module Process = {
@@ -165,6 +174,23 @@ module ChildProcess = {
   @module("child_process")
   external execWithOptions: (string, execOptions, callback) => unit = "exec"
 
+  type execFileOptions = {
+    cwd?: string,
+    timeout?: int,
+    maxBuffer?: float,
+  }
+
+  // `killed` is set when the timeout stopped the child.
+  type execFileError = {killed: bool}
+
+  @module("child_process")
+  external execFile: (
+    string,
+    array<string>,
+    execFileOptions,
+    (Null.t<execFileError>, string, string) => unit,
+  ) => unit = "execFile"
+
   // One of a child's stdio slots, present only for a slot the parent asked to
   // pipe rather than inherit.
   module Stream = {
@@ -225,6 +251,8 @@ module Path = {
 
   @module("path") external join: (t, string) => t = "join"
   @module("path") external dirname: string => t = "dirname"
+  @module("path") external relative: (string, string) => string = "relative"
+  @module("path") external isAbsolute: string => bool = "isAbsolute"
 
   external toString: t => string = "%identity"
 
@@ -275,6 +303,9 @@ module Fs = {
     mode?: int,
   }
 
+  @module("fs") external existsSync: string => bool = "existsSync"
+  @module("fs") external readFileSync: (string, @as("utf8") _) => string = "readFileSync"
+
   module Promises = {
     @module("fs") @scope("promises")
     external writeFile: (

package/src/bindings/NodeJs.res.mjs

@@ -16,6 +16,8 @@ let Util$1 = {
   inspectObj: inspectObj
 };
 
+let Module = {};
+
 let Process = {};
 
 let empty = globalThis.Buffer.alloc(0);
@@ -59,6 +61,7 @@ let Fs = {
 
 export {
   Util$1 as Util,
+  Module,
   Process,
   Buffer,
   V8,