包配置

moon 使用 moon.pkg.json 文件来标识和描述一个包。访问 moon 的仓库 查看完整的 JSON 模式。

名称

包名称不可配置；它由包的文件夹目录名称确定。

is-main

is-main 字段用于指定包是否需要链接为一个可执行文件。

链接过程的输出取决于后端。当此字段设置为 true 时：

• 对于 Wasm 和 wasm-gc 后端，将生成一个独立的 WebAssembly 模块。

• 对于 js 后端，将生成一个独立的 JavaScript 文件。

导入依赖

导入

import 字段用于指定包依赖的其他包。

例如，以下导入了 moonbitlang/quickcheck 和 moonbitlang/x/encoding，将后者别名为 lib 并从后者导入函数 encode。用户可以使用 @lib.encode 代替 encode。

{
  "import": [
    "moonbitlang/quickcheck",
    { "path" : "moonbitlang/x/encoding", "alias": "lib", "value": ["encode"] }
  ]
}

测试导入

test-import 字段用于指定此包的黑盒测试包依赖的其他包，配置语法与 import 相同

test-import-all 字段用于指定是否导入被测试包的公共定义（默认为 true）。

白盒测试导入

wbtest-import 字段用于指定此包的白盒测试包依赖的其他包，配置语法与 import 相同。

条件编译

条件编译的最小单元是一个文件。

在条件编译表达式中，支持三种逻辑运算符：and、or 和 not，其中 or 运算符可以省略。

例如，["or", "wasm", "wasm-gc"] 可以简化为 ["wasm", "wasm-gc"]。

表达式中的条件可以被归类为后端和优化层次：

• 后端条件："wasm"、"wasm-gc" 和 "js"

• 优化层次条件："debug" 和 "release"

条件表达式支持嵌套。

如果文件未列在 "targets" 中，它将默认在所有条件下编译。

例如：

{
  "targets": {
    "only_js.mbt": ["js"],
    "only_wasm.mbt": ["wasm"],
    "only_wasm_gc.mbt": ["wasm-gc"],
    "all_wasm.mbt": ["wasm", "wasm-gc"],
    "not_js.mbt": ["not", "js"],
    "only_debug.mbt": ["debug"],
    "js_and_release.mbt": ["and", ["js"], ["release"]],
    "js_only_test.mbt": ["js"],
    "js_or_wasm.mbt": ["js", "wasm"],
    "wasm_release_or_js_debug.mbt": ["or", ["and", "wasm", "release"], ["and", "js", "debug"]]
  }
}

链接选项

默认情况下，moon 仅链接 is-main 设置为 true 的包。如果需要链接其他包，可以使用 link 选项指定。

link 选项用于指定链接选项，其值可以是布尔值或对象。

• 当 link 值为 true 时，表示应链接包。输出将根据构建时指定的后端而有所不同。

  {
    "link": true
  }
  

• 当 link 值为对象时，表示应链接包，您可以指定链接选项。有关详细配置，请参阅相应后端的子页面。

Wasm 后端链接选项

共有选项

• exports 选项用于指定 Wasm 后端导出的函数名称。

  例如，在以下配置中，当前包中的 hello 函数被导出为 wasm 模块中的 hello 函数，foo 函数被导出为 Wasm 模块中的 bar 函数。在 Wasm 宿主中，可以调用 hello 和 bar 函数来调用当前包中的 hello 和 foo 函数。

  {
    "link": {
      "wasm": {
        "exports": [
          "hello",
          "foo:bar"
        ]
      },
      "wasm-gc": {
        "exports": [
          "hello",
          "foo:bar"
        ]
      }
    }
  }
  

• import-memory 选项用于指定 Wasm 模块导入的线性内存。

  例如，以下配置指定 Wasm 模块导入的线性内存是 env 模块的 memory 变量。

  {
    "link": {
      "wasm": {
        "import-memory": {
          "module": "env",
          "name": "memory"
        }
      },
      "wasm-gc": {
        "import-memory": {
          "module": "env",
          "name": "memory"
        }
      }
    }
  }
  

• export-memory-name 选项用于指定 Wasm 模块导出的线性内存的名称。

  {
    "link": {
      "wasm": {
        "export-memory-name": "memory"
      },
      "wasm-gc": {
        "export-memory-name": "memory"
      }
    }
  }
  

Wasm 线性内存后端链接选项

• heap-start-address 选项用于指定编译到 Wasm 后端时可以使用的线性内存的起始地址。

  例如，以下配置将线性内存的起始地址设置为 1024。

  {
    "link": {
      "wasm": {
        "heap-start-address": 1024
      }
    }
  }
  

Wasm GC 后端链接选项

• use-js-string-builtin 选项用于指定在编译到 Wasm GC 后端时是否应启用 内建 JS String 提案。它将使 MoonBit 中的 String 等效于 JavaScript 宿主运行时中的 String。

  例如，以下配置将启用内建 JS String 提案。

  {
    "link": {
      "wasm-gc": {
        "use-js-builtin-string": true
      }
    }
  }
  

• imported-string-constants 选项用于指定内建 JS String 提案使用的导入字符串命名空间，默认为 _。它应符合 JS 宿主运行时中的配置。

  例如，以下配置与 JS 初始化配置了导入字符串命名空间。

  {
    "link": {
      "wasm-gc": {
        "use-js-builtin-string": true,
        "imported-string-constants": "_"
      }
    }
  }
  

  const { instance } = await WebAssembly.instantiate(bytes, {}, { importedStringConstants: "strings" });
  

JS 后端链接选项

• exports 选项用于指定要在 JavaScript 模块中导出的函数名称。

  例如，在以下配置中，当前包中的 hello 函数被导出为 JavaScript 模块中的 hello 函数。在 JavaScript 宿主中，可以调用 hello 函数来调用当前包中的 hello 函数。

  {
    "link": {
      "js": {
        "exports": [
          "hello"
        ]
      }
    }
  }
  

• format 选项用于指定 JavaScript 模块的输出格式。

  目前支持的格式有：

  • esm（默认）

  • cjs

  • iife

  例如，以下配置将当前包的输出格式设置为 ES 模块。

  {
    "link": {
      "js": {
        "format": "esm"
      }
    }
  }
  

原生后端链接选项

• cc 选项用于指定用于编译 moonc 生成的 C 源文件的编译器。它可以是编译器的完整路径，也可以是通过 PATH 环境变量可访问的简单名称。

  {
    "link": {
      "native": {
        "cc": "/usr/bin/gcc13"
      }
    }
  }
  

• cc-flags 选项用于覆盖传递给编译器的默认标志。例如，您可以使用以下标志来定义一个名为 MOONBIT 的宏。

  {
    "link": {
      "native": {
        "cc-flags": "-DMOONBIT"
      }
    }
  }
  

• cc-link-flags 选项用于覆盖传递给链接器的默认标志。由于链接器是通过编译器驱动程序调用的（例如，通过 cc 而不是 ld，通过 cl 而不是 link），因此在传递特定选项时，应该使用 -Wl, 或 /link 前缀。

  以下示例从生成的二进制文件中剥离符号信息。

  {
    "link": {
      "native": {
        "cc-link-flags": "-s"
      }
    }
  }
  

• stub-cc 选项与 cc 类似，但控制用于编译存根的编译器。虽然它可以与 cc 不同，但不建议这样做，应仅用于调试目的。因此，我们强烈建议同时指定 cc 和 stub-cc 并使它们保持一致，以避免潜在冲突。

• stub-cc-flags 选项类似于 cc-flags。它仅对存根编译有效。

• stub-cc-link-flags 与 cc-link-flags 类似，但有微妙的区别。通常，存根被编译为目标文件，并与从 moonc 生成的 C 源文件的目标文件链接。这种链接仅由前面提到的 cc-flags 和 cc-link-flags 控制。然而，在特定模式下，存根目标文件将有一个单独的链接过程，在该过程中，stub-cc-link-flags 将生效。

原生后端的默认 C 编译器和编译器标志

以下是对 compiler_flags.rs 的简要总结。

C 编译器

在 PATH 中从上到下搜索以下项目。

• cl

• gcc

• clang

• cc

• 内部的 tcc

对于类似 GCC 的编译器，默认的编译和链接命令如下。[] 用于指示某些模式下可能不存在的标志。

cc -o $target -I$MOON_HOME/include -L$MOON_HOME/lib [-g] [-shared -fPIC] \
   -fwrapv -fno-strict-aliasing (-O2|-Og) [$MOON_HOME/lib/libmoonbitrun.o] \
   $sources -lm $cc_flags $cc_link_flags

对于 MSVC，默认的编译和链接命令如下。

cl (/Fo|/Fe)$target -I$MOON_HOME/include [/LD] /utf-8 /wd4819 /nologo (/O2|/Od) \
   /link /LIBPATH:$MOON_HOME/lib

预构建

pre-build 字段用于指定预构建命令，这些命令将在构建命令（如 moon check|build|test）之前执行。

"pre-build" 是一个数组，其中每个元素是一个包含 input、output 和 command 字段的对象。input 和 output 字段可以是字符串或字符串数组，而 command 字段是一个字符串。在 command 中，可以使用任何 shell 命令，以及分别表示输入和输出文件的 $input 和 $output 变量。如果这些字段是数组，它们将默认使用空格连接。

目前，内置了一个特殊命令 :embed，它将文件转换为 MoonBit 源代码。--text 参数用于嵌入文本文件，--binary 用于二进制文件。--text 是默认值，可以省略。--name 参数用于指定生成的变量名，默认为 resource。该命令在 moon.pkg.json 文件所在的目录中执行。

{
  "pre-build": [
    {
      "input": "a.txt",
      "output": "a.mbt",
      "command": ":embed -i $input -o $output"
    }
  ]
}

如果当前包目录中 a.txt 的内容为：

hello,
world

那么在 moon.pkg.json 所在目录中运行 moon build 后，将生成以下 a.mbt 文件：

let resource : String =
  #|hello,
  #|world
  #|

警告列表

用于关闭警告，启用警告，或者把一个启用的警告视为错误。警告列表是由多个警告名组成的字符串，每个警告名前有一个符号前缀：

• - to disable the warning

• +用于启用警告

• @用于把一个已经启用的警告视为错误

例如，在以下配置中，-unused_value 禁用函数或者变量未使用警告。

{
  "warn-list": "-unused_value"
}

如果需要禁用多种警告，可以直接连接起来进行组合。

{
  "warn-list": "-unused_value-unreachable_code"
}

如果需要激活某种原来未启用的警告，则使用加号。

{
  "warn-list": "+unused_optional_argument"
}

要把一个警告视为错误，使用@。

{
  "warn-list": "@deprecated"
}

你也可以在警告列表中使用警告编号。这里是完整的警告名和编号：

Available warnings:                       
    name                           description
  1 unused_value                   Unused variable or function.
  2 unused_value                   Unused variable.
  3 unused_type_declaration        Unused type declaration.
  4 missing_priv                   Unused abstract type.
  5 unused_type_variable           Unused type variable.
  6 unused_constructor             Unused constructor.
  7 unused_field                   Unused field or constructor argument.
  8 redundant_modifier             Redundant modifier.
  9 struct_never_constructed       Struct never constructed.
 10 unused_pattern                 Unused pattern.
 11 partial_match                  Partial pattern matching.
 12 unreachable_code               Unreachable code.
 13 unresolved_type_variable       Unresolved type variable.
 14 alert or alert_<category>      All alerts or alerts with specific category.
 15 unused_mut                     Unused mutability.
 16 parser_inconsistency           Parser inconsistency check.
 17 ambiguous_loop_argument        Ambiguous usage of loop argument.
 18 useless_loop                   Useless loop expression.
 19 toplevel_not_left_aligned      Top_level declaration is not left aligned.
 20 deprecated                     Deprecated API usage.
 21 missing_pattern_arguments      Some arguments of constructor are omitted in pattern.
 22 ambiguous_block                Ambiguous block.
 23 unused_try                     Useless try expression.
 24 unused_error_type              Useless error type.
 26 unused_catch_all               Useless catch all.
 27 deprecated_syntax              Deprecated syntax.
 28 todo                           Todo
 29 unused_package                 Unused package.
 30 missing_package_alias          Empty package alias.
 31 unused_optional_argument       Optional argument never supplied.
 32 unused_default_value           Default value of optional argument never used.
 35 reserved_keyword               Reserved keyword.
 36 loop_label_shadowing           Loop label shadows another label.
 37 unused_loop_label              Unused loop label.
 41 missing_rest_mark              Missing `..` in map pattern.
 42 invalid_attribute              Invalid attribute.
 43 unused_attribute               Unused attribute.
 44 invalid_inline_wasm            Invalid inline-wasm.
 46 unused_rest_mark               Useless `..` in pattern
 47 invalid_mbti                   Invalid mbti file
 48 missing_default_impl_mark      Trait method with default implementation not marked with `= _`
 49 missing_definition             Unused pub definition because it does not exist in mbti file.
 50 method_shadowing               Local method shadows upstream method
 51 ambiguous_precedence           Ambiguous operator precedence
 52 unused_loop_variable           Loop variable not updated in loop
 53 unused_trait_bound             Unused trait bound
 55 unannotated_ffi                Unannotated FFI param type
 56 missing_pattern_field          Missing field in struct pattern
 57 missing_pattern_payload        Constructor pattern expect payload
 58 unused_non_capturing           Unnecessary non-capturing group in regex
 59 unaligned_byte_access          Unaligned byte access in bits pattern
 60 unused_struct_update           Unused struct update
 61 duplicate_test                 Duplicate test name
 62 invalid_cascade                Calling method with non-unit return type via `..`
 63 syntax_lint                    Syntax lint warning
 64 unannotated_toplevel_array     Unannotated toplevel array
  A                                all warnings

备注

你可以使用 moonc build-package -warn-help 来查看预设编译器警告编号列表。

alert警告

alert是一种特殊的警告，表示使用了某些被 #internal属性 标记了的 API。

所有alert都附有一个类别，这是由 API 的作者定义的。你可以通过alert_<类别>这样的警告名来启用或者关闭特定的alert类别，或者用alert一次性控制所有alert警告。

例如，在下面的配置中，所有alert警告都被视为错误，除了unsafe类别——只有它被关闭。

{
  "warn-list": "@alert-alert_unsafe" 
}

虚拟包

一个虚拟包可以作为一个包的接口被实际的实现替换。

声明

virtual 字段用于将当前包声明为虚拟包。

例如，以下配置声明了一个具有默认实现的虚拟包：

{
  "virtual": {
    "has-default": true
  }
}

实现

implement 字段用于指定当前包实现的虚拟包。

例如，以下配置实现了一个虚拟包：

{
  "implement": "moonbitlang/core/abort"
}

覆盖实现

overrides 字段用于提供满足导入虚拟包的实现。

例如，以下配置将内置的 abort 包的默认实现替换为另一个包：

{
  "overrides": ["moonbitlang/dummy_abort/abort_show_msg"]
}