@mirascript/monaco 0.1.39 → 0.1.40

package/dist/lsp/index.js

@@ -19,127 +19,7 @@ import {
 // src/lsp/providers/base.ts
 import { DefaultVmContext } from "@mirascript/mirascript/subtle";
 
-// src/lsp/utils.ts
-import { DiagnosticCode } from "@mirascript/constants";
-import {
-  getVmFunctionInfo,
-  isVmArray,
-  isVmExtern,
-  isVmFunction,
-  isVmModule,
-  isVmPrimitive,
-  isVmRecord,
-  isVmWrapper,
-  serialize
-} from "@mirascript/mirascript";
-import { lib, operations, serializeRecordKey, serializeString } from "@mirascript/mirascript/subtle";
-var UNKNOWN_REPR = "/* .. */";
-function globalParamsSignature(info) {
-  if (info == null || !info.params && !info.paramsType) return [["..", "..", ""]];
-  const paramItems = [];
-  const params = Object.keys(info.paramsType ?? {});
-  for (const key of Object.keys(info.params ?? {})) {
-    if (params.includes(key)) continue;
-    params.push(key);
-  }
-  for (const key of params) {
-    const type = info.paramsType?.[key] ?? "";
-    const doc = info.params?.[key] ?? "";
-    paramItems.push([key, `${key}: ${type || "any"}`, doc ? `\`${key}\`: ${doc}` : ""]);
-  }
-  return paramItems;
-}
-var SIG_WIDTH = 60;
-function fnSignature(id, info) {
-  const prefix = id ? `fn ${id}` : "fn";
-  const params = globalParamsSignature(info);
-  const returns = info.returnsType ? ` -> ${info.returnsType}` : "";
-  return {
-    params,
-    returns,
-    toString() {
-      let p;
-      if (this.params.length >= 1 && (prefix.length + this.returns.length > SIG_WIDTH || prefix.length + this.returns.length + params.reduce((a, b) => a + b[1].length, 0) > SIG_WIDTH)) {
-        p = `(
-${params.map((item) => `  ${item[1]},`).join("\n")}
-)`;
-      } else {
-        p = `(${params.map((item) => item[1]).join(", ")})`;
-      }
-      return `${prefix}${p}${this.returns}`;
-    }
-  };
-}
-function localParamSignature(model, info) {
-  const {
-    args,
-    scope: { params }
-  } = info;
-  if (params[0]?.code === DiagnosticCode.ParameterIt) {
-    return params[0].references.length ? [["it", "it", ""]] : [];
-  }
-  return params.map((a, i) => {
-    const rest = a.code === DiagnosticCode.ParameterRestPattern || a.code === DiagnosticCode.ParameterMutableRest || a.code === DiagnosticCode.ParameterImmutableRest;
-    const argsInParam = args.filter((arg) => Range.containsRange(a.range, arg.definition.range));
-    let argName;
-    if (argsInParam.length > 0) {
-      argName = argsInParam.map((arg) => model.getValueInRange(arg.definition.range)).join("_");
-    } else if (rest) {
-      argName = "args";
-    } else {
-      argName = `arg${i}`;
-    }
-    if (rest) return [`..${argName}`, `..${argName}`, ""];
-    return [argName, argName, ""];
-  });
-}
-function paramsList(model, info) {
-  if (!info) return "(..)";
-  if ("scope" in info) {
-    return `(${localParamSignature(model, info).map((p) => p[1]).join(", ")})`;
-  } else {
-    if (!info.params) return "(..)";
-    const paramItems = Object.keys(info.params).join(", ");
-    return `(${paramItems})`;
-  }
-}
-function globalFnDoc(info) {
-  const doc = [];
-  if (info.summary) {
-    doc.push(info.summary);
-  }
-  const paramDoc = [];
-  if (info.params) {
-    for (const [key, value] of Object.entries(info.params)) {
-      if (!value) continue;
-      paramDoc.push(`- \`${key}\`: ${value}`);
-    }
-  }
-  if (info.returns) {
-    paramDoc.push(`- **返回值**: ${info.returns}`);
-  }
-  if (paramDoc.length) {
-    doc.push("", paramDoc.join("\n"));
-  }
-  if (info.examples?.length) {
-    let exp = `### 示例`;
-    for (const example of info.examples) {
-      exp += codeblock(example);
-    }
-    doc.push("", exp);
-  }
-  return doc;
-}
-function codeblock(value) {
-  const lang = value.startsWith("\0") ? "mirascript-doc" : "mirascript";
-  const includeFences = /`{3,}/.exec(value);
-  const CODEBLOCK_FENCE = includeFences ? "`".repeat(includeFences[0].length + 1) : "```";
-  return `
-${CODEBLOCK_FENCE}${lang}
-${value}
-${CODEBLOCK_FENCE}
-`;
-}
+// src/lsp/monaco-utils.ts
 function strictContainsPosition(range, position) {
   return !Range.isEmpty(range) && Range.containsPosition(range, position);
 }
@@ -149,347 +29,110 @@ function wordAt(model, position) {
   const range = new Range(position.lineNumber, word.startColumn, position.lineNumber, word.endColumn);
   return { word: word.word, range };
 }
-function serializeForDisplayInner(value, maxWidth) {
-  if (maxWidth < 10) maxWidth = 10;
-  if (typeof value === "string") {
-    if (value.length < maxWidth) {
-      return serializeString(value);
-    }
-    return `${serializeString(value.slice(0, maxWidth))}..`;
+
+// src/lsp/compile-result.ts
+import {
+  parseDiagnostics,
+  DiagnosticCode
+} from "@mirascript/mirascript/subtle";
+var LocalFunctionType = [DiagnosticCode.LocalFunction];
+var LocalVariableType = [
+  DiagnosticCode.LocalMutable,
+  DiagnosticCode.LocalImmutable,
+  DiagnosticCode.LocalConst
+];
+var ParameterExplicitType = [
+  DiagnosticCode.ParameterMutable,
+  DiagnosticCode.ParameterImmutable,
+  DiagnosticCode.ParameterMutableRest,
+  DiagnosticCode.ParameterImmutableRest
+];
+var ParameterSubPatternType = [
+  DiagnosticCode.ParameterSubPatternImmutable,
+  DiagnosticCode.ParameterSubPatternMutable
+];
+var ParameterPatternType = [DiagnosticCode.ParameterPattern, DiagnosticCode.ParameterRestPattern];
+var ParameterItType = [DiagnosticCode.ParameterIt];
+var ParameterDefinitionType = [
+  ...ParameterExplicitType,
+  ...ParameterSubPatternType,
+  ...ParameterItType
+];
+var ParameterPlaceholderType = [
+  ...ParameterExplicitType,
+  ...ParameterPatternType,
+  ...ParameterItType
+];
+var LocalDefinitionType = [...LocalVariableType, ...LocalFunctionType, ...ParameterDefinitionType];
+var CompileResult = class {
+  constructor(cacheKey, version, source, result) {
+    this.cacheKey = cacheKey;
+    this.version = version;
+    this.source = source;
+    this.result = result;
+    this.diagnosticsReady = false;
+    this._errors = [];
+    this._warnings = [];
+    this._infos = [];
+    this._hints = [];
+    this._references = [];
+    this._tags = [];
+    this._tagsReferences = [];
+    this.diagnostics = result.diagnostics;
+    this.chunk = result.chunk;
   }
-  if (isVmPrimitive(value)) {
-    return serialize(value);
+  /** 源代码诊断信息 */
+  get errors() {
+    if (!this.diagnosticsReady) {
+      this.readDiagnostics();
+    }
+    return this._errors;
   }
-  if (isVmArray(value)) {
-    const len = value.length;
-    if (!len) return "[]";
-    return `[../* x${len} */]`;
+  /** 源代码诊断信息 */
+  get warnings() {
+    if (!this.diagnosticsReady) {
+      this.readDiagnostics();
+    }
+    return this._warnings;
   }
-  if (isVmRecord(value)) {
-    const len = Object.keys(value).length;
-    if (!len) return "()";
-    return `(../* x${len} */)`;
+  /** 源代码诊断信息 */
+  get infos() {
+    if (!this.diagnosticsReady) {
+      this.readDiagnostics();
+    }
+    return this._infos;
   }
-  if (isVmExtern(value)) {
-    return `/* <extern ${value.tag}> */`;
+  /** 源代码诊断信息 */
+  get hints() {
+    if (!this.diagnosticsReady) {
+      this.readDiagnostics();
+    }
+    return this._hints;
   }
-  return `/* ${operations.$ToString(value)} */`;
-}
-function serializeField(obj, key, maxWidth) {
-  const value = getField(obj, key);
-  if (value === void 0) {
-    return UNKNOWN_REPR;
+  /** 源代码诊断信息 */
+  get references() {
+    if (!this.diagnosticsReady) {
+      this.readDiagnostics();
+    }
+    return this._references;
   }
-  return serializeForDisplayInner(value, maxWidth);
-}
-function serializeForDisplay(value, maxEntries = 100, maxWidth = 40) {
-  if (isVmPrimitive(value) || isVmFunction(value)) {
-    return serializeForDisplayInner(value, maxWidth);
+  /** 源代码诊断信息 */
+  get tags() {
+    if (!this.diagnosticsReady) {
+      this.readDiagnostics();
+    }
+    return this._tags;
   }
-  let begin, end;
-  const entries = [];
-  let resultLength = 0;
-  if (isVmArray(value)) {
-    begin = "[";
-    end = "]";
-    const len = value.length;
-    if (len === 0) return "[]";
-    for (let i = 0; i < len; i++) {
-      if (entries.length > maxEntries) {
-        entries.push(`../* x${value.length - entries.length} */`);
-        break;
-      }
-      const entry = serializeField(value, i, maxWidth - 2);
-      entries.push(entry);
-      resultLength += entry.length;
-    }
-  } else if (isVmRecord(value)) {
-    const keys = Object.keys(value);
-    if (keys.length === 0) return "()";
-    begin = "(";
-    end = ")";
-    for (const key of keys) {
-      if (entries.length > maxEntries) {
-        entries.push(`../* x${keys.length - entries.length} */`);
-        break;
-      }
-      const sk = serializeRecordKey(key);
-      const sv = serializeField(value, key, maxWidth - sk.length - 4);
-      const entry = `${sk}: ${sv}`;
-      entries.push(entry);
-      resultLength += entry.length;
-    }
-  } else {
-    const hint = serializeForDisplayInner(value, 100);
-    const isArray = value.isArrayLike();
-    begin = `${hint} ${isArray ? "[" : "("}`;
-    end = isArray ? "]" : ")";
-    const keys = value.keys();
-    if (keys.length === 0 && !isArray) {
-      if (typeof value.value == "object") {
-        for (const key of Object.getOwnPropertyNames(value.value)) {
-          if (value.has(key)) keys.push(key);
-        }
-      } else {
-        begin = hint;
-        end = "";
-      }
-    }
-    for (const [index, key] of keys.entries()) {
-      if (entries.length > maxEntries) {
-        entries.push(`../* x${keys.length - entries.length} */`);
-        break;
-      }
-      let entry;
-      if (isArray && String(index) === key) {
-        entry = serializeForDisplayInner(value.get(key) ?? null, maxWidth - 2);
-      } else {
-        const sk = serializeRecordKey(key);
-        entry = `${sk}: ${serializeForDisplayInner(value.get(key) ?? null, maxWidth - sk.length - 4)}`;
-      }
-      entries.push(entry);
-      resultLength += entry.length;
-    }
-  }
-  if (resultLength >= maxWidth) {
-    return `${begin}
-  ${entries.join(",\n  ")}
-${end}`;
-  }
-  return `${begin}${entries.join(", ")}${end}`;
-}
-function docComment(doc) {
-  const lines = doc.flatMap((sec) => sec.split("\n").map((s) => s.trimEnd()));
-  const firstLine = lines.findIndex((line) => line.length > 0);
-  const lastLine = lines.findLastIndex((line) => line.length > 0);
-  if (firstLine < 0 || lastLine < 0) return [];
-  return [`/**`, ...lines.slice(firstLine, lastLine + 1).map((line) => ` * ${line}`), ` */`];
-}
-function valueDoc(name, value, type, parent) {
-  const info = getVmFunctionInfo(value);
-  const describe = parent?.describe?.(name);
-  if (info) {
-    const doc = globalFnDoc(info);
-    if (describe && doc[0] !== describe) {
-      doc.unshift(describe);
-    }
-    return {
-      script: fnSignature(name, info).toString() + (type === "declare" ? ";" : ""),
-      doc
-    };
-  }
-  let prefix;
-  let suffix = "";
-  if (type === "hint") {
-    prefix = `${serializeRecordKey(name)} = `;
-  } else if (type === "declare") {
-    if (name.startsWith("@")) {
-      prefix = `const ${name} = `;
-    } else {
-      prefix = `let ${name} = `;
-    }
-    suffix = ";";
-  } else if (/^\d/.test(name)) {
-    prefix = `[${name}]: `;
-  } else {
-    prefix = `${name}: `;
-  }
-  if (isVmModule(value)) {
-    const doc = `模块 \`${value.name}\``;
-    let script;
-    if (type === "declare") {
-      const exports = value.keys();
-      script = "\n";
-      for (const k of exports) {
-        const v = value.get(k);
-        const vDoc = valueDoc(k, v, isVmModule(v) ? "field" : "declare", value);
-        const code = [...docComment(vDoc.doc), "pub " + vDoc.script, "", ""];
-        script += code.join("\n");
-      }
-      script = script.trimEnd();
-    } else {
-      script = `(module) ${value.name}`;
-      if (value.name !== name) {
-        script = `${prefix}${script}`;
-      }
-    }
-    return { script, doc: doc ? [doc] : [] };
-  }
-  let valueStr = UNKNOWN_REPR;
-  if (value !== void 0) {
-    try {
-      valueStr = serializeForDisplay(value, type === "declare" ? 1e3 : 100, type === "declare" ? 80 : 40);
-    } catch (ex) {
-    }
-  }
-  return {
-    script: `${prefix}${valueStr}${suffix}`,
-    doc: describe ? [describe] : []
-  };
-}
-function getDeep(globals, name, path) {
-  if (!globals.has(name)) return [null, void 0];
-  let current = globals.get(name);
-  if (!path.length) {
-    return [globals, current];
-  }
-  let parent = null;
-  for (const key of path) {
-    if (current == null) return [null, void 0];
-    if (!operations.$Has(current, key)) return [null, void 0];
-    parent = current;
-    current = operations.$Get(parent, key);
-  }
-  return [isVmWrapper(parent) ? parent : null, current];
-}
-function getField(obj, key) {
-  if (obj == null) return void 0;
-  try {
-    if (!operations.$Has(obj, key)) return void 0;
-  } catch {
-    return void 0;
-  }
-  try {
-    return operations.$Get(obj, key);
-  } catch {
-    return void 0;
-  }
-}
-function listFields(obj, includeNonEnumerable) {
-  if (obj == null || typeof obj != "object") return [];
-  if (isVmWrapper(obj)) {
-    try {
-      return obj.keys(includeNonEnumerable);
-    } catch {
-      return [];
-    }
-  }
-  return lib.keys(obj);
-}
-function isDeprecatedGlobal(globals, name) {
-  if (!globals.has(name)) {
-    return void 0;
-  }
-  const value = globals.get(name);
-  const funcInfo = getVmFunctionInfo(value);
-  if (funcInfo) {
-    return funcInfo.deprecated;
-  }
-  const info = lib[name];
-  if (!info?.deprecated) return void 0;
-  if (info.value !== value) return void 0;
-  const { use } = info.deprecated;
-  if (use) {
-    if (!globals.has(use)) return void 0;
-    const replacement = globals.get(use);
-    if (replacement !== info.value) return void 0;
-  }
-  return info.deprecated;
-}
-
-// src/lsp/compile-result.ts
-import {
-  parseDiagnostics,
-  DiagnosticCode as DiagnosticCode2
-} from "@mirascript/mirascript/subtle";
-var LocalFunctionType = [DiagnosticCode2.LocalFunction];
-var LocalVariableType = [
-  DiagnosticCode2.LocalMutable,
-  DiagnosticCode2.LocalImmutable,
-  DiagnosticCode2.LocalConst
-];
-var ParameterExplicitType = [
-  DiagnosticCode2.ParameterMutable,
-  DiagnosticCode2.ParameterImmutable,
-  DiagnosticCode2.ParameterMutableRest,
-  DiagnosticCode2.ParameterImmutableRest
-];
-var ParameterSubPatternType = [
-  DiagnosticCode2.ParameterSubPatternImmutable,
-  DiagnosticCode2.ParameterSubPatternMutable
-];
-var ParameterPatternType = [DiagnosticCode2.ParameterPattern, DiagnosticCode2.ParameterRestPattern];
-var ParameterItType = [DiagnosticCode2.ParameterIt];
-var ParameterDefinitionType = [
-  ...ParameterExplicitType,
-  ...ParameterSubPatternType,
-  ...ParameterItType
-];
-var ParameterPlaceholderType = [
-  ...ParameterExplicitType,
-  ...ParameterPatternType,
-  ...ParameterItType
-];
-var LocalDefinitionType = [...LocalVariableType, ...LocalFunctionType, ...ParameterDefinitionType];
-var CompileResult = class {
-  constructor(cacheKey, version, source, result) {
-    this.cacheKey = cacheKey;
-    this.version = version;
-    this.source = source;
-    this.result = result;
-    this.diagnosticsReady = false;
-    this._errors = [];
-    this._warnings = [];
-    this._infos = [];
-    this._hints = [];
-    this._references = [];
-    this._tags = [];
-    this._tagsReferences = [];
-    this.diagnostics = result.diagnostics;
-    this.chunk = result.chunk;
-  }
-  /** 源代码诊断信息 */
-  get errors() {
-    if (!this.diagnosticsReady) {
-      this.readDiagnostics();
-    }
-    return this._errors;
-  }
-  /** 源代码诊断信息 */
-  get warnings() {
-    if (!this.diagnosticsReady) {
-      this.readDiagnostics();
-    }
-    return this._warnings;
-  }
-  /** 源代码诊断信息 */
-  get infos() {
-    if (!this.diagnosticsReady) {
-      this.readDiagnostics();
-    }
-    return this._infos;
-  }
-  /** 源代码诊断信息 */
-  get hints() {
-    if (!this.diagnosticsReady) {
-      this.readDiagnostics();
-    }
-    return this._hints;
-  }
-  /** 源代码诊断信息 */
-  get references() {
-    if (!this.diagnosticsReady) {
-      this.readDiagnostics();
-    }
-    return this._references;
-  }
-  /** 源代码诊断信息 */
-  get tags() {
-    if (!this.diagnosticsReady) {
-      this.readDiagnostics();
-    }
-    return this._tags;
-  }
-  /** 源代码诊断信息 */
-  get tagsReferences() {
-    if (!this.diagnosticsReady) {
-      this.readDiagnostics();
+  /** 源代码诊断信息 */
+  get tagsReferences() {
+    if (!this.diagnosticsReady) {
+      this.readDiagnostics();
     }
     return this._tagsReferences;
   }
   /** 分析诊断信息 */
   readDiagnostics() {
-    const parsed = parseDiagnostics(this.source, this.diagnostics, (c) => c !== DiagnosticCode2.SourceMap);
+    const parsed = parseDiagnostics(this.source, this.diagnostics, (c) => c !== DiagnosticCode.SourceMap);
     this._errors = parsed.errors;
     this._warnings = parsed.warnings;
     this._infos = parsed.infos;
@@ -524,7 +167,7 @@ var CompileResult = class {
           definition: tag,
           references: tag.references
         });
-      } else if (tag.code === DiagnosticCode2.GlobalVariable) {
+      } else if (tag.code === DiagnosticCode.GlobalVariable) {
         const name = getText(tag.range);
         let def = globals.find((def2) => name === def2.name);
         if (!def) {
@@ -535,9 +178,9 @@ var CompileResult = class {
           globals.push(def);
         }
         def.references.push(tag);
-      } else if (tag.code === DiagnosticCode2.Scope || tag.code === DiagnosticCode2.String || tag.code === DiagnosticCode2.Interpolation || tag.code === DiagnosticCode2.FunctionCall || tag.code === DiagnosticCode2.ExtensionCall) {
+      } else if (tag.code === DiagnosticCode.Scope || tag.code === DiagnosticCode.String || tag.code === DiagnosticCode.Interpolation || tag.code === DiagnosticCode.FunctionCall || tag.code === DiagnosticCode.ExtensionCall) {
         ranges.push(tag);
-      } else if (tag.code === DiagnosticCode2.OmitNamedRecordField) {
+      } else if (tag.code === DiagnosticCode.OmitNamedRecordField) {
         omitNameFields.push(tag);
       }
     }
@@ -584,7 +227,7 @@ var CompileResult = class {
       return this._scopes;
     }
     const { locals, params, ranges } = this.groupedTags(model);
-    const scopes = ranges.filter((r) => r.code === DiagnosticCode2.Scope).map((r) => {
+    const scopes = ranges.filter((r) => r.code === DiagnosticCode.Scope).map((r) => {
       return {
         range: r.range,
         locals: [],
@@ -665,7 +308,7 @@ var CompileResult = class {
       );
       for (const local of scope.locals) {
         scopeMap.set(local, scope);
-        if (local.definition.code === DiagnosticCode2.LocalFunction) {
+        if (local.definition.code === DiagnosticCode.LocalFunction) {
           const funcScope = scope.children.find(
             (s) => Range.compareRangesUsingStarts(s.range, local.definition.range) > 0
           );
@@ -681,76 +324,437 @@ var CompileResult = class {
         }
       }
     }
-    this._scopeMap = scopeMap;
-    this._scopes = sortedScopes;
-    return this._scopes;
+    this._scopeMap = scopeMap;
+    this._scopes = sortedScopes;
+    return this._scopes;
+  }
+  /** 获取定义所在作用域 */
+  scopeOf(model, def) {
+    if (!this._scopeMap) {
+      this.scopes(model);
+    }
+    return this._scopeMap.get(def);
+  }
+  /** 获取位置所在作用域 */
+  scopeAt(model, position) {
+    const scopes = this.scopes(model);
+    let scope = scopes.findLast((s) => Range.containsPosition(s.range, position)) ?? scopes[0];
+    while (scope.children.length > 0) {
+      const inner = scope.children.find((s) => Range.containsPosition(s.range, position));
+      if (!inner) break;
+      scope = inner;
+    }
+    return scope;
+  }
+  /** 获取指定位置的字段访问信息 */
+  fieldAccessAt(model, position) {
+    let prevDef;
+    const { globals } = this.groupedTags(model);
+    for (const d of globals) {
+      for (const [refIndex, ref] of d.references.entries()) {
+        if (!Position.isBefore(Range.getEndPosition(ref.range), position)) continue;
+        if (prevDef && Position.isBefore(Range.getEndPosition(ref.range), Range.getEndPosition(prevDef.range)))
+          continue;
+        prevDef = { def: d, ref: refIndex, range: ref.range };
+      }
+    }
+    this.scopes(model);
+    const { locals } = this.groupedTags(model);
+    for (const d of locals) {
+      for (const [refIndex, ref] of d.references.entries()) {
+        if (!Position.isBefore(Range.getEndPosition(ref.range), position)) continue;
+        if (prevDef && Position.isBefore(Range.getEndPosition(ref.range), Range.getEndPosition(prevDef.range)))
+          continue;
+        prevDef = { def: d, ref: refIndex, range: ref.range };
+      }
+    }
+    if (!prevDef) return void 0;
+    const chain = model.getValueInRange(Range.fromPositions(Range.getStartPosition(prevDef.range), position));
+    const chainParts = chain.split(/\s*(?:!\.|\.)\s*/);
+    if (
+      // 至少包含变量名和当前位置的字段名
+      chainParts.length < 2 || !chainParts.every(
+        (part, index) => (
+          // 如果是最后一个部分，则可以为空（表示当前位置的字段名），否则必须是合法的标识符
+          (index === chainParts.length - 1 ? !part : false) || REG_IDENTIFIER_FULL.test(part) || REG_ORDINAL_FULL.test(part)
+        )
+      )
+    ) {
+      return void 0;
+    }
+    return { def: prevDef, fields: chainParts.slice(1) };
+  }
+  /** 获取指定位置的字段访问信息 */
+  accessAt(model, position) {
+    const v = this.variableAccessAt(model, position);
+    if (v) return { def: v, fields: [] };
+    return this.fieldAccessAt(model, position);
+  }
+};
+
+// src/lsp/diagnostics.ts
+import { DiagnosticCode as DiagnosticCode3, getDiagnosticMessage } from "@mirascript/mirascript/subtle";
+
+// src/lsp/utils.ts
+import { DiagnosticCode as DiagnosticCode2 } from "@mirascript/constants";
+import {
+  getVmFunctionInfo,
+  isVmArray,
+  isVmExtern,
+  isVmFunction,
+  isVmModule,
+  isVmPrimitive,
+  isVmRecord,
+  isVmWrapper,
+  serialize
+} from "@mirascript/mirascript";
+import { lib, operations, serializeRecordKey, serializeString } from "@mirascript/mirascript/subtle";
+var UNKNOWN_REPR = "/* .. */";
+function globalParamsSignature(info) {
+  if (info == null || !info.params && !info.paramsType) return [["..", "..", ""]];
+  const paramItems = [];
+  const params = Object.keys(info.paramsType ?? {});
+  for (const key of Object.keys(info.params ?? {})) {
+    if (params.includes(key)) continue;
+    params.push(key);
+  }
+  for (const key of params) {
+    const type = info.paramsType?.[key] ?? "";
+    const doc = info.params?.[key] ?? "";
+    paramItems.push([key, `${key}: ${type || "any"}`, doc ? `\`${key}\`: ${doc}` : ""]);
+  }
+  return paramItems;
+}
+var SIG_WIDTH = 60;
+function fnSignature(id, info) {
+  const prefix = id ? `fn ${id}` : "fn";
+  const params = globalParamsSignature(info);
+  const returns = info.returnsType ? ` -> ${info.returnsType}` : "";
+  return {
+    params,
+    returns,
+    toString() {
+      let p;
+      if (this.params.length >= 1 && (prefix.length + this.returns.length > SIG_WIDTH || prefix.length + this.returns.length + params.reduce((a, b) => a + b[1].length, 0) > SIG_WIDTH)) {
+        p = `(
+${params.map((item) => `  ${item[1]},`).join("\n")}
+)`;
+      } else {
+        p = `(${params.map((item) => item[1]).join(", ")})`;
+      }
+      return `${prefix}${p}${this.returns}`;
+    }
+  };
+}
+function localParamSignature(model, info) {
+  const {
+    args,
+    scope: { params }
+  } = info;
+  if (params[0]?.code === DiagnosticCode2.ParameterIt) {
+    return params[0].references.length ? [["it", "it", ""]] : [];
+  }
+  return params.map((a, i) => {
+    const rest = a.code === DiagnosticCode2.ParameterRestPattern || a.code === DiagnosticCode2.ParameterMutableRest || a.code === DiagnosticCode2.ParameterImmutableRest;
+    const argsInParam = args.filter((arg) => Range.containsRange(a.range, arg.definition.range));
+    let argName;
+    if (argsInParam.length > 0) {
+      argName = argsInParam.map((arg) => model.getValueInRange(arg.definition.range)).join("_");
+    } else if (rest) {
+      argName = "args";
+    } else {
+      argName = `arg${i}`;
+    }
+    if (rest) return [`..${argName}`, `..${argName}`, ""];
+    return [argName, argName, ""];
+  });
+}
+function paramsList(model, info) {
+  if (!info) return "(..)";
+  if ("scope" in info) {
+    return `(${localParamSignature(model, info).map((p) => p[1]).join(", ")})`;
+  } else {
+    if (!info.params) return "(..)";
+    const paramItems = Object.keys(info.params).join(", ");
+    return `(${paramItems})`;
+  }
+}
+function globalFnDoc(info) {
+  const doc = [];
+  if (info.summary) {
+    doc.push(info.summary);
+  }
+  const paramDoc = [];
+  if (info.params) {
+    for (const [key, value] of Object.entries(info.params)) {
+      if (!value) continue;
+      paramDoc.push(`- \`${key}\`: ${value}`);
+    }
+  }
+  if (info.returns) {
+    paramDoc.push(`- **返回值**: ${info.returns}`);
+  }
+  if (paramDoc.length) {
+    doc.push("", paramDoc.join("\n"));
+  }
+  if (info.examples?.length) {
+    let exp = `### 示例`;
+    for (const example of info.examples) {
+      exp += codeblock(example);
+    }
+    doc.push("", exp);
+  }
+  return doc;
+}
+function codeblock(value) {
+  const lang = value.startsWith("\0") ? "mirascript-doc" : "mirascript";
+  const includeFences = /`{3,}/.exec(value);
+  const CODEBLOCK_FENCE = includeFences ? "`".repeat(includeFences[0].length + 1) : "```";
+  return `
+${CODEBLOCK_FENCE}${lang}
+${value}
+${CODEBLOCK_FENCE}
+`;
+}
+function serializeForDisplayInner(value, maxWidth) {
+  if (maxWidth < 10) maxWidth = 10;
+  if (typeof value === "string") {
+    if (value.length < maxWidth) {
+      return serializeString(value);
+    }
+    return `${serializeString(value.slice(0, maxWidth))}..`;
+  }
+  if (isVmPrimitive(value)) {
+    return serialize(value);
+  }
+  if (isVmArray(value)) {
+    const len = value.length;
+    if (!len) return "[]";
+    return `[../* x${len} */]`;
+  }
+  if (isVmRecord(value)) {
+    const len = Object.keys(value).length;
+    if (!len) return "()";
+    return `(../* x${len} */)`;
+  }
+  if (isVmExtern(value)) {
+    return `/* <extern ${value.tag}> */`;
+  }
+  return `/* ${operations.$ToString(value)} */`;
+}
+function serializeField(obj, key, maxWidth) {
+  const value = getField(obj, key);
+  if (value === void 0) {
+    return UNKNOWN_REPR;
+  }
+  return serializeForDisplayInner(value, maxWidth);
+}
+function serializeForDisplay(value, maxEntries = 100, maxWidth = 40) {
+  if (isVmPrimitive(value) || isVmFunction(value)) {
+    return serializeForDisplayInner(value, maxWidth);
+  }
+  let begin, end;
+  const entries = [];
+  let resultLength = 0;
+  if (isVmArray(value)) {
+    begin = "[";
+    end = "]";
+    const len = value.length;
+    if (len === 0) return "[]";
+    for (let i = 0; i < len; i++) {
+      if (entries.length > maxEntries) {
+        entries.push(`../* x${value.length - entries.length} */`);
+        break;
+      }
+      const entry = serializeField(value, i, maxWidth - 2);
+      entries.push(entry);
+      resultLength += entry.length;
+    }
+  } else if (isVmRecord(value)) {
+    const keys = Object.keys(value);
+    if (keys.length === 0) return "()";
+    begin = "(";
+    end = ")";
+    for (const key of keys) {
+      if (entries.length > maxEntries) {
+        entries.push(`../* x${keys.length - entries.length} */`);
+        break;
+      }
+      const sk = serializeRecordKey(key);
+      const sv = serializeField(value, key, maxWidth - sk.length - 4);
+      const entry = `${sk}: ${sv}`;
+      entries.push(entry);
+      resultLength += entry.length;
+    }
+  } else {
+    const hint = serializeForDisplayInner(value, 100);
+    const isArray = value.isArrayLike();
+    begin = `${hint} ${isArray ? "[" : "("}`;
+    end = isArray ? "]" : ")";
+    const keys = value.keys();
+    if (keys.length === 0 && !isArray) {
+      if (typeof value.value == "object") {
+        for (const key of Object.getOwnPropertyNames(value.value)) {
+          if (value.has(key)) keys.push(key);
+        }
+      } else {
+        begin = hint;
+        end = "";
+      }
+    }
+    for (const [index, key] of keys.entries()) {
+      if (entries.length > maxEntries) {
+        entries.push(`../* x${keys.length - entries.length} */`);
+        break;
+      }
+      let entry;
+      if (isArray && String(index) === key) {
+        entry = serializeForDisplayInner(value.get(key) ?? null, maxWidth - 2);
+      } else {
+        const sk = serializeRecordKey(key);
+        entry = `${sk}: ${serializeForDisplayInner(value.get(key) ?? null, maxWidth - sk.length - 4)}`;
+      }
+      entries.push(entry);
+      resultLength += entry.length;
+    }
   }
-  /** 获取定义所在作用域 */
-  scopeOf(model, def) {
-    if (!this._scopeMap) {
-      this.scopes(model);
+  if (resultLength >= maxWidth) {
+    return `${begin}
+  ${entries.join(",\n  ")}
+${end}`;
+  }
+  return `${begin}${entries.join(", ")}${end}`;
+}
+function docComment(doc) {
+  const lines = doc.flatMap((sec) => sec.split("\n").map((s) => s.trimEnd()));
+  const firstLine = lines.findIndex((line) => line.length > 0);
+  const lastLine = lines.findLastIndex((line) => line.length > 0);
+  if (firstLine < 0 || lastLine < 0) return [];
+  return [`/**`, ...lines.slice(firstLine, lastLine + 1).map((line) => ` * ${line}`), ` */`];
+}
+function valueDoc(name, value, type, parent) {
+  const info = getVmFunctionInfo(value);
+  const describe = parent?.describe?.(name);
+  if (info) {
+    const doc = globalFnDoc(info);
+    if (describe && doc[0] !== describe) {
+      doc.unshift(describe);
     }
-    return this._scopeMap.get(def);
+    return {
+      script: fnSignature(name, info).toString() + (type === "declare" ? ";" : ""),
+      doc
+    };
   }
-  /** 获取位置所在作用域 */
-  scopeAt(model, position) {
-    const scopes = this.scopes(model);
-    let scope = scopes.findLast((s) => Range.containsPosition(s.range, position)) ?? scopes[0];
-    while (scope.children.length > 0) {
-      const inner = scope.children.find((s) => Range.containsPosition(s.range, position));
-      if (!inner) break;
-      scope = inner;
+  let prefix;
+  let suffix = "";
+  if (type === "hint") {
+    prefix = `${serializeRecordKey(name)} = `;
+  } else if (type === "declare") {
+    if (name.startsWith("@")) {
+      prefix = `const ${name} = `;
+    } else {
+      prefix = `let ${name} = `;
     }
-    return scope;
+    suffix = ";";
+  } else if (/^\d/.test(name)) {
+    prefix = `[${name}]: `;
+  } else {
+    prefix = `${name}: `;
   }
-  /** 获取指定位置的字段访问信息 */
-  fieldAccessAt(model, position) {
-    let prevDef;
-    const { globals } = this.groupedTags(model);
-    for (const d of globals) {
-      for (const [refIndex, ref] of d.references.entries()) {
-        if (!Position.isBefore(Range.getEndPosition(ref.range), position)) continue;
-        if (prevDef && Position.isBefore(Range.getEndPosition(ref.range), Range.getEndPosition(prevDef.range)))
-          continue;
-        prevDef = { def: d, ref: refIndex, range: ref.range };
+  if (isVmModule(value)) {
+    const doc = `模块 \`${value.name}\``;
+    let script;
+    if (type === "declare") {
+      const exports = value.keys();
+      script = "\n";
+      for (const k of exports) {
+        const v = value.get(k);
+        const vDoc = valueDoc(k, v, isVmModule(v) ? "field" : "declare", value);
+        const code = [...docComment(vDoc.doc), "pub " + vDoc.script, "", ""];
+        script += code.join("\n");
       }
-    }
-    this.scopes(model);
-    const { locals } = this.groupedTags(model);
-    for (const d of locals) {
-      for (const [refIndex, ref] of d.references.entries()) {
-        if (!Position.isBefore(Range.getEndPosition(ref.range), position)) continue;
-        if (prevDef && Position.isBefore(Range.getEndPosition(ref.range), Range.getEndPosition(prevDef.range)))
-          continue;
-        prevDef = { def: d, ref: refIndex, range: ref.range };
+      script = script.trimEnd();
+    } else {
+      script = `(module) ${value.name}`;
+      if (value.name !== name) {
+        script = `${prefix}${script}`;
       }
     }
-    if (!prevDef) return void 0;
-    const chain = model.getValueInRange(Range.fromPositions(Range.getStartPosition(prevDef.range), position));
-    const chainParts = chain.split(/\s*(?:!\.|\.)\s*/);
-    if (
-      // 至少包含变量名和当前位置的字段名
-      chainParts.length < 2 || !chainParts.every(
-        (part, index) => (
-          // 如果是最后一个部分，则可以为空（表示当前位置的字段名），否则必须是合法的标识符
-          (index === chainParts.length - 1 ? !part : false) || REG_IDENTIFIER_FULL.test(part) || REG_ORDINAL_FULL.test(part)
-        )
-      )
-    ) {
-      return void 0;
+    return { script, doc: doc ? [doc] : [] };
+  }
+  let valueStr = UNKNOWN_REPR;
+  if (value !== void 0) {
+    try {
+      valueStr = serializeForDisplay(value, type === "declare" ? 1e3 : 100, type === "declare" ? 80 : 40);
+    } catch (ex) {
     }
-    return { def: prevDef, fields: chainParts.slice(1) };
   }
-  /** 获取指定位置的字段访问信息 */
-  accessAt(model, position) {
-    const v = this.variableAccessAt(model, position);
-    if (v) return { def: v, fields: [] };
-    return this.fieldAccessAt(model, position);
+  return {
+    script: `${prefix}${valueStr}${suffix}`,
+    doc: describe ? [describe] : []
+  };
+}
+function getDeep(globals, name, path) {
+  if (!globals.has(name)) return [null, void 0];
+  let current = globals.get(name);
+  if (!path.length) {
+    return [globals, current];
   }
-};
+  let parent = null;
+  for (const key of path) {
+    if (current == null) return [null, void 0];
+    if (!operations.$Has(current, key)) return [null, void 0];
+    parent = current;
+    current = operations.$Get(parent, key);
+  }
+  return [isVmWrapper(parent) ? parent : null, current];
+}
+function getField(obj, key) {
+  if (obj == null) return void 0;
+  try {
+    if (!operations.$Has(obj, key)) return void 0;
+  } catch {
+    return void 0;
+  }
+  try {
+    return operations.$Get(obj, key);
+  } catch {
+    return void 0;
+  }
+}
+function listFields(obj, includeNonEnumerable) {
+  if (obj == null || typeof obj != "object") return [];
+  if (isVmWrapper(obj)) {
+    try {
+      return obj.keys(includeNonEnumerable);
+    } catch {
+      return [];
+    }
+  }
+  return lib.keys(obj);
+}
+function isDeprecatedGlobal(globals, name) {
+  if (!globals.has(name)) {
+    return void 0;
+  }
+  const value = globals.get(name);
+  const funcInfo = getVmFunctionInfo(value);
+  if (funcInfo) {
+    return funcInfo.deprecated;
+  }
+  const info = lib[name];
+  if (!info?.deprecated) return void 0;
+  if (info.value !== value) return void 0;
+  const { use } = info.deprecated;
+  if (use) {
+    if (!globals.has(use)) return void 0;
+    const replacement = globals.get(use);
+    if (replacement !== info.value) return void 0;
+  }
+  return info.deprecated;
+}
 
 // src/lsp/diagnostics.ts
-import { DiagnosticCode as DiagnosticCode3, getDiagnosticMessage } from "@mirascript/mirascript/subtle";
 var formatMessage = (model, template, $0) => {
   if (template.includes(`$0`)) {
     const replacement = typeof $0 == "string" ? $0 : $0 ? model.getValueInRange($0) : "";
@@ -1433,6 +1437,7 @@ import {
   serialize as serialize2
 } from "@mirascript/mirascript";
 import { DiagnosticCode as DiagnosticCode6 } from "@mirascript/mirascript/subtle";
+import { KEYWORDS as HELP_KEYWORDS } from "@mirascript/help";
 var DESC_GLOBAL = "(global)";
 var DESC_LOCAL = "(local)";
 var DESC_FIELD = "(field)";
@@ -1452,9 +1457,7 @@ var COMMON_GLOBAL_SUGGESTIONS = (range, extension) => {
       kind: languages.CompletionItemKind.Keyword,
       insertText: "type",
       commitCharacters: ["("],
-      documentation: {
-        value: `使用 \`type()\` 调用获取表达式的类型。${codeblock("type(expression);\nexpression::type();")}`
-      },
+      documentation: { value: HELP_KEYWORDS.type },
       range
     },
     {
@@ -1462,9 +1465,7 @@ var COMMON_GLOBAL_SUGGESTIONS = (range, extension) => {
       kind: languages.CompletionItemKind.Keyword,
       insertText: "global",
       commitCharacters: [".", "["],
-      documentation: {
-        value: `使用 \`global\` 获取全局变量。${codeblock('global.variableName;\nglobal["variableName"];\n"variableName" in global;')}`
-      },
+      documentation: { value: HELP_KEYWORDS.global },
       range
     }
   ];
@@ -1572,10 +1573,12 @@ var COMMON_GLOBAL_SUGGESTIONS = (range, extension) => {
   return suggestions;
 };
 function kwSuggestion(kw, range) {
+  const doc = HELP_KEYWORDS[kw];
   return {
     label: kw,
     kind: languages.CompletionItemKind.Keyword,
     insertText: kw,
+    documentation: doc ? { value: doc } : void 0,
     range
   };
 }
@@ -2065,6 +2068,70 @@ var FormatterProvider = class extends Provider {
 
 // src/lsp/providers/hover-provider.ts
 import { DiagnosticCode as DiagnosticCode9 } from "@mirascript/constants";
+
+// src/lsp/monaco-private.js
+function fromStandardTokenType(tokenType) {
+  switch (tokenType) {
+    case 1:
+      return "comment";
+    case 2:
+      return "string";
+    case 3:
+      return "regex";
+    default:
+      return "other";
+  }
+}
+function tokenAt(model, position) {
+  try {
+    let tryGetTokenProp2 = function(method, fallback) {
+      try {
+        return lineTokens[method](tokenIndex);
+      } catch {
+        return fallback;
+      }
+    };
+    var tryGetTokenProp = tryGetTokenProp2;
+    const lineTokens = model.tokenization.getLineTokens(position.lineNumber);
+    const tokenIndex = lineTokens.findTokenIndexAtOffset(position.column - 1);
+    if (tokenIndex < 0) return void 0;
+    return {
+      type: fromStandardTokenType(tryGetTokenProp2("getStandardTokenType", 0)),
+      text: tryGetTokenProp2("getTokenText", null),
+      startColumn: tryGetTokenProp2("getStartOffset", 0) + 1,
+      endColumn: tryGetTokenProp2("getEndOffset", 0) + 1
+    };
+  } catch {
+    return void 0;
+  }
+}
+
+// src/lsp/providers/hover-provider.ts
+import { KEYWORDS as HELP_KEYWORDS2, OPERATORS as HELP_OPERATORS } from "@mirascript/help";
+var OPERATOR_TOKENS_DESC = Object.keys(HELP_OPERATORS).sort((a, b) => b.length - a.length);
+function operatorAt(lineContent, column) {
+  const index = Math.max(0, column - 1);
+  for (const token of OPERATOR_TOKENS_DESC) {
+    for (let offset = 0; offset < token.length; offset++) {
+      const start = index - offset;
+      if (start < 0) continue;
+      const end = start + token.length;
+      if (end > lineContent.length) continue;
+      if (lineContent.slice(start, end) !== token) continue;
+      if (index < start || index >= end) continue;
+      return {
+        token,
+        range: {
+          startLineNumber: 0,
+          startColumn: start + 1,
+          endLineNumber: 0,
+          endColumn: end + 1
+        }
+      };
+    }
+  }
+  return void 0;
+}
 var HoverProvider = class extends Provider {
   /** 变量提示 */
   async provideVariableHover(model, { def, ref }) {
@@ -2171,11 +2238,59 @@ var HoverProvider = class extends Provider {
       range
     };
   }
+  /** 语法元素提示 */
+  provideSyntaxHover(model, position) {
+    const token = tokenAt(model, position);
+    if (token?.type && token.type !== "other") {
+      return void 0;
+    }
+    if (token?.text && (token.text in HELP_KEYWORDS2 || token.text in HELP_OPERATORS)) {
+      const doc = HELP_KEYWORDS2[token.text] ?? HELP_OPERATORS[token.text];
+      return {
+        contents: [{ value: doc }],
+        range: {
+          startLineNumber: position.lineNumber,
+          endLineNumber: position.lineNumber,
+          startColumn: token.startColumn,
+          endColumn: token.endColumn
+        }
+      };
+    }
+    const word = model.getWordAtPosition(position);
+    if (word?.word && word.word in HELP_KEYWORDS2) {
+      const doc = HELP_KEYWORDS2[word.word];
+      return {
+        contents: [{ value: doc }],
+        range: {
+          startLineNumber: position.lineNumber,
+          endLineNumber: position.lineNumber,
+          startColumn: word.startColumn,
+          endColumn: word.endColumn
+        }
+      };
+    }
+    const lineContent = model.getLineContent(position.lineNumber);
+    const hit = operatorAt(lineContent, position.column);
+    if (hit && hit.token in HELP_OPERATORS) {
+      const doc = HELP_OPERATORS[hit.token];
+      return {
+        contents: [{ value: doc }],
+        range: {
+          startLineNumber: position.lineNumber,
+          endLineNumber: position.lineNumber,
+          startColumn: hit.range.startColumn,
+          endColumn: hit.range.endColumn
+        }
+      };
+    }
+    return void 0;
+  }
   /** @inheritdoc */
   async provideHover(model, position, token, context) {
     const value = await this.getValueAt(model, position);
-    if (!value) return void 0;
-    if ("fields" in value) {
+    if (!value) {
+      return this.provideSyntaxHover(model, position);
+    } else if ("fields" in value) {
       return this.provideFieldHover(model, value.range, value.fields);
     } else {
       return this.provideVariableHover(model, value.variable);