doc: sync translation

Author: peter-jerry-ye

next/locales/zh_CN/LC_MESSAGES/language.po

@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: MoonBit Document \n"
 "Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: 2025-03-11 17:00+0800\n"
+"POT-Creation-Date: 2025-03-19 12:07+0800\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language: zh_CN\n"
@@ -1990,7 +1990,7 @@ msgstr ""
 #: ../../language/error_codes/E3017.md:9 ../../language/error_codes/E3018.md:5
 #: ../../language/error_codes/E3019.md:10 ../../language/error_codes/E3020.md:6
 #: ../../language/error_codes/E3800.md:10 ../../language/error_codes/E4000.md:5
-#: ../../language/error_codes/E4005.md:5 ../../language/error_codes/E4007.md:8
+#: ../../language/error_codes/E4005.md:5 ../../language/error_codes/E4007.md:6
 #: ../../language/error_codes/E4050.md:9 ../../language/error_codes/E4051.md:15
 #: ../../language/error_codes/E4052.md:7 ../../language/error_codes/E4053.md:18
 #: ../../language/error_codes/E4055.md:5 ../../language/error_codes/E4056.md:5
@@ -2122,7 +2122,7 @@ msgstr ""
 #: ../../language/error_codes/E4004.md:14
 #: ../../language/error_codes/E4005.md:14
 #: ../../language/error_codes/E4006.md:21
-#: ../../language/error_codes/E4007.md:21
+#: ../../language/error_codes/E4007.md:19
 #: ../../language/error_codes/E4008.md:14
 #: ../../language/error_codes/E4009.md:21
 #: ../../language/error_codes/E4010.md:19
@@ -2971,10 +2971,23 @@ msgid ""
 msgstr ""
 
 #: ../../language/error_codes/E1011.md:29
+msgid "Or, you can use `is` syntax to use this pattern matching as a condition:"
+msgstr ""
+
+#: ../../language/error_codes/E1011.md:31
+msgid ""
+"fn main {\n"
+"  if Some(1) is Some(x) {\n"
+"    println(x)\n"
+"  }\n"
+"}\n"
+msgstr ""
+
+#: ../../language/error_codes/E1011.md:39
 msgid "Or, you can add a wildcard pattern to catch all remaining cases:"
 msgstr "或者，你可以添加一个通配符模式来捕获所有剩余的情况："
 
-#: ../../language/error_codes/E1011.md:31
+#: ../../language/error_codes/E1011.md:41
 msgid ""
 "fn main {\n"
 "  match Some(1) {\n"
@@ -5775,43 +5788,42 @@ msgstr ""
 
 #: ../../language/error_codes/E4007.md:3
 msgid ""
-"When constructing an enum, the arguments passed to the constructor cannot"
-" be unit `()`. MoonBit does not allow constructors to take unit as an "
-"argument because it would be redundant - a constructor without arguments "
-"already represents a singleton value."
+"Enum variants without payloads are considered as singleton values. "
+"MoonBit does not allow such constructors to be called as functions."
 msgstr ""
 
-#: ../../language/error_codes/E4007.md:10
+#: ../../language/error_codes/E4007.md:8
 msgid ""
 "enum Status {\n"
 "  Done\n"
 "  Pending\n"
 "}\n"
 "\n"
 "fn main {\n"
-"  let status = Done() // Error: constructor can't take unit as argument\n"
+"  let status = Done() // Error: constructor without payload cannot be "
+"called with ()\n"
 "}\n"
 msgstr ""
 
-#: ../../language/error_codes/E4007.md:23
-msgid "Remove the unit argument from the constructor since it adds no value:"
+#: ../../language/error_codes/E4007.md:21
+msgid "Remove the function calling syntax from the constructor:"
 msgstr ""
 
-#: ../../language/error_codes/E4007.md:25
+#: ../../language/error_codes/E4007.md:23
 msgid ""
 "// ...\n"
 "fn main {\n"
 "  let status = Done\n"
 "}\n"
 msgstr ""
 
-#: ../../language/error_codes/E4007.md:32
+#: ../../language/error_codes/E4007.md:30
 msgid ""
-"If you really need the constructor to take a unit arguments, explicitly "
-"use `Unit` as its argument"
+"If you really need the constructor to construct values, explicitly use "
+"`Unit` as its argument"
 msgstr ""
 
-#: ../../language/error_codes/E4007.md:35
+#: ../../language/error_codes/E4007.md:33
 msgid ""
 "enum Status {\n"
 "  Done(Unit)\n"
@@ -6812,6 +6824,7 @@ msgid ""
 "  struct S { x : Int; y : Int }\n"
 "  struct T { x : Int; y : Int }\n"
 "  let c : S = { x: 2, y: 1 }\n"
+"  let c2 = S::{ x : 2, y : 1 }\n"
 "}\n"
 msgstr ""
 
@@ -18412,4 +18425,3 @@ msgid ""
 msgstr ""
 "黑盒测试文件（`_test.mbt`）导入当前包和包配置（`moon.pkg.json`）中的 `import` 和 `test-import` "
 "部分定义的包。"
-

next/locales/zh_CN/LC_MESSAGES/toolchain.po

@@ -8,7 +8,7 @@ msgid ""
 msgstr ""
 "Project-Id-Version: MoonBit Document \n"
 "Report-Msgid-Bugs-To: \n"
-"POT-Creation-Date: 2025-03-11 16:26+0800\n"
+"POT-Creation-Date: 2025-03-19 12:07+0800\n"
 "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n"
 "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n"
 "Language: zh_CN\n"
@@ -912,10 +912,9 @@ msgid ""
 "particular configuration may also determine where these scripts need to "
 "be placed."
 msgstr ""
-"讨论：为 Bash、Elvish、Fish、Zsh 或 PowerShell 启用命令补全功能。"
-"该脚本的输出在标准输出（stdout）上，用户可以将输出重定向到自己选择的文件。"
-"文件的存放位置将取决于所使用的 shell 以及操作系统。具体的配置也可能决定这些脚本应放置在何处。"
-
+"讨论：为 Bash、Elvish、Fish、Zsh 或 PowerShell "
+"启用命令补全功能。该脚本的输出在标准输出（stdout）上，用户可以将输出重定向到自己选择的文件。文件的存放位置将取决于所使用的 shell "
+"以及操作系统。具体的配置也可能决定这些脚本应放置在何处。"
 
 #: ../../toolchain/moon/commands.md:471
 msgid ""
@@ -925,16 +924,15 @@ msgid ""
 "rc file to always load newest completions on startup. Although it's "
 "considered not as efficient as having the completions script installed."
 msgstr ""
-"补全脚本不会自动更新，因此你可能需要定期运行此命令以获取最新的补全内容。"
-"或者，你可以将`eval "$(moon shell-completion --shell <SHELL>)"`添加到你所用 shell 的配置文件（rc file）中，"
-"这样每次启动 shell 时都会加载最新的补全内容。不过，这种方式被认为不如安装补全脚本高效。 "
+"补全脚本不会自动更新，因此你可能需要定期运行此命令以获取最新的补全内容。或者，你可以将`eval \"$(moon shell-"
+"completion --shell <SHELL>)\"`添加到你所用 shell 的配置文件（rc file）中，这样每次启动 shell "
+"时都会加载最新的补全内容。不过，这种方式被认为不如安装补全脚本高效。 "
 
 #: ../../toolchain/moon/commands.md:478
 msgid ""
 "Here are some common set ups for the three supported shells under Unix "
 "and similar operating systems (such as GNU/Linux)."
-msgstr ""
-"以下是在 Unix 及类似操作系统（如 GNU/Linux）下，针对三种受支持的 shell 的一些常见设置。"
+msgstr "以下是在 Unix 及类似操作系统（如 GNU/Linux）下，针对三种受支持的 shell 的一些常见设置。"
 
 #: ../../toolchain/moon/commands.md:481
 msgid "Bash:"
@@ -946,9 +944,8 @@ msgid ""
 "system-wide commands, but can be stored in `~/.local/share/bash-"
 "completion/completions` for user-specific commands. Run the command:"
 msgstr ""
-"对于系统范围的命令，补全文件通常存放在 `/etc/bash_completion.d/`；"
-"而针对用户特定的命令，它们可存放在 `~/.local/share/bash - completion/completions`。"
-"运行以下命令："
+"对于系统范围的命令，补全文件通常存放在 `/etc/bash_completion.d/`；而针对用户特定的命令，它们可存放在 "
+"`~/.local/share/bash - completion/completions`。运行以下命令："
 
 #: ../../toolchain/moon/commands.md:488
 msgid ""
@@ -961,8 +958,7 @@ msgstr ""
 msgid ""
 "This installs the completion script. You may have to log out and log back"
 " in to your shell session for the changes to take effect."
-msgstr ""
-"这会安装补全脚本。你可能需要注销并重新登录 shell 会话，以使更改生效。"
+msgstr "这会安装补全脚本。你可能需要注销并重新登录 shell 会话，以使更改生效。"
 
 #: ../../toolchain/moon/commands.md:494
 msgid "Bash (macOS/Homebrew):"
@@ -973,8 +969,8 @@ msgid ""
 "Homebrew stores bash completion files within the Homebrew directory. With"
 " the `bash-completion` brew formula installed, run the command:"
 msgstr ""
-"Homebrew 会将 bash 补全文件存储在 Homebrew 目录内。"
-"在安装了 `bash-completion` 的 Homebrew 软件包后，运行以下命令："
+"Homebrew 会将 bash 补全文件存储在 Homebrew 目录内。在安装了 `bash-completion` 的 Homebrew "
+"软件包后，运行以下命令："
 
 #: ../../toolchain/moon/commands.md:499
 msgid ""
@@ -991,8 +987,7 @@ msgstr ""
 msgid ""
 "Fish completion files are commonly stored in "
 "`$HOME/.config/fish/completions`. Run the command:"
-msgstr ""
-"Fish 补全文件通常存储在 `$HOME/.config/fish/completions` 目录下。运行以下命令： "
+msgstr "Fish 补全文件通常存储在 `$HOME/.config/fish/completions` 目录下。运行以下命令： "
 
 #: ../../toolchain/moon/commands.md:507
 msgid ""
@@ -1023,9 +1018,7 @@ msgid ""
 "will install the completions script. Note that use `>>` (append)  instead"
 " of `>` (overwrite) to prevent overwriting the existing completions  for "
 "other commands. Then prepend your rc.elv with:"
-msgstr ""
-"将安装补全脚本。请注意使用`>>`（追加）而不是 `>`  （覆盖），"
-"以防止覆盖其他命令的现有补全。然后在你的 rc.elv 文件前面添加："
+msgstr "将安装补全脚本。请注意使用`>>`（追加）而不是 `>`  （覆盖），以防止覆盖其他命令的现有补全。然后在你的 rc.elv 文件前面添加："
 
 #: ../../toolchain/moon/commands.md:525
 msgid "`use completers`\n"
@@ -1035,7 +1028,6 @@ msgstr ""
 msgid "to load the `completers` module and enable completions."
 msgstr "以加载 `completers` 模块并启用补全功能。"
 
-
 #: ../../toolchain/moon/commands.md:529
 msgid "Zsh:"
 msgstr ""
@@ -1047,17 +1039,15 @@ msgid ""
 "generated script to one of those directories, or add your own to this "
 "list."
 msgstr ""
-"ZSH补全文件通常存放在 `$fpath` 变量所列出的任意目录中。要使用这些补全功能，"
-"你要么将生成的脚本添加到这些目录之一，要么将你自己的目录添加到这个列表中。"
+"ZSH补全文件通常存放在 `$fpath` "
+"变量所列出的任意目录中。要使用这些补全功能，你要么将生成的脚本添加到这些目录之一，要么将你自己的目录添加到这个列表中。"
 
 #: ../../toolchain/moon/commands.md:536
 msgid ""
 "Adding a custom directory is often the safest bet if you are unsure of "
 "which directory to use. First create the directory; for this example "
 "we'll create a hidden directory inside our `$HOME` directory:"
-msgstr ""
-"如果你不确定该使用哪个目录，添加一个自定义目录通常是最稳妥的做法。"
-"首先创建这个目录；在这个示例中，我们将在 `$HOME` 目录下创建一个隐藏目录："
+msgstr "如果你不确定该使用哪个目录，添加一个自定义目录通常是最稳妥的做法。首先创建这个目录；在这个示例中，我们将在 `$HOME` 目录下创建一个隐藏目录："
 
 #: ../../toolchain/moon/commands.md:541
 msgid "$ mkdir ~/.zfunc\n"
@@ -1075,7 +1065,6 @@ msgstr ""
 msgid "Now you can install the completions script using the following command:"
 msgstr "现在你可以使用以下命令来安装补全脚本"
 
-
 #: ../../toolchain/moon/commands.md:551
 msgid "$ moon shell-completion --shell zsh > ~/.zfunc/_moon\n"
 msgstr ""
@@ -1103,9 +1092,8 @@ msgid ""
 "to add the proper directives, such as `source`ing inside your login "
 "script. Consult your shells documentation for how to add such directives."
 msgstr ""
-"另外，你可以将这些文件保存到你选择的位置，比如你家目录（$HOME）下的自定义目录。"
-"这样做的话，你需要添加合适的指令，例如在登录脚本中使用 `source`命令引入这些文件。"
-"请查阅你所使用 shell 的文档，了解如何添加此类指令。"
+"另外，你可以将这些文件保存到你选择的位置，比如你家目录（$HOME）下的自定义目录。这样做的话，你需要添加合适的指令，例如在登录脚本中使用 "
+"`source`命令引入这些文件。请查阅你所使用 shell 的文档，了解如何添加此类指令。"
 
 #: ../../toolchain/moon/commands.md:567
 msgid "PowerShell:"
@@ -1116,8 +1104,8 @@ msgid ""
 "The powershell completion scripts require PowerShell v5.0+ (which comes "
 "with Windows 10, but can be downloaded separately for windows 7 or 8.1)."
 msgstr ""
-"PowerShell 补全脚本需要 PowerShell 5.0 及更高版本（Windows 10 系统自带该版本，"
-"而 Windows 7 或 8.1 系统可单独下载）。 "
+"PowerShell 补全脚本需要 PowerShell 5.0 及更高版本（Windows 10 系统自带该版本，而 Windows 7 或 "
+"8.1 系统可单独下载）。 "
 
 #: ../../toolchain/moon/commands.md:573
 msgid "First, check if a profile has already been set"
@@ -1141,17 +1129,16 @@ msgid ""
 "command it will be "
 "`${env:USERPROFILE}\\Documents\\WindowsPowerShell\\Microsoft.PowerShell_profile.ps1`"
 msgstr ""
-"现在打开由 `$profile` 指定的文件（如果你使用了 `New-Item` 命令，该文件将是"
-" `${env:USERPROFILE}\Documents\WindowsPowerShell\Microsoft.PowerShell_profile.ps1`）。 "
+"现在打开由 `$profile` 指定的文件（如果你使用了 `New-Item` 命令，该文件将是 "
+"`${env:USERPROFILE}\\Documents\\WindowsPowerShell\\Microsoft.PowerShell_profile.ps1`）。"
+" "
 
 #: ../../toolchain/moon/commands.md:585
 msgid ""
 "Next, we either save the completions file into our profile, or into a "
 "separate file and source it inside our profile. To save the completions "
 "into our profile simply use"
-msgstr ""
-"接下来，我们可以将补全文件保存到我们的配置文件中，或者保存到一个单独的文件里，
-然后在配置文件中引入它。若要将补全内容保存到配置文件中，只需使用:"
+msgstr "接下来，我们可以将补全文件保存到我们的配置文件中，或者保存到一个单独的文件里"
 
 #: ../../toolchain/moon/commands.md:589
 msgid ""
@@ -1737,7 +1724,7 @@ msgstr "你可以使用 `moonc build-package -warn-help` 来查看预设编译
 #: ../../toolchain/moon/module.md:136 ../../toolchain/moon/package.md:305
 msgid ""
 "$ moonc -v                      \n"
-"v0.1.20250310+a7a1e9804\n"
+"v0.1.20250318+35770a65e\n"
 "\n"
 "$ moonc build-package -warn-help\n"
 "Available warnings: \n"
@@ -1748,7 +1735,7 @@ msgid ""
 "  5 Unused type variable.\n"
 "  6 Unused constructor.\n"
 "  7 Unused field or constructor argument.\n"
-"  8 Redunant modifier.\n"
+"  8 Redundant modifier.\n"
 "  9 Unused function declaration.\n"
 " 10 Struct never constructed.\n"
 " 11 Partial pattern matching.\n"
@@ -1782,7 +1769,7 @@ msgid ""
 " 42 Invalid attribute.\n"
 " 43 Unused attribute.\n"
 " 44 Invalid inline-wasm.\n"
-" 45 Type implments trait with regular methods.\n"
+" 45 Type implements trait with regular methods.\n"
 "  A all warnings\n"
 msgstr ""
 
@@ -2767,7 +2754,6 @@ msgid ""
 msgstr ""
 
 #: ../../toolchain/moon/tutorial.md:36
-#, fuzzy
 msgid ""
 "If you want to use all default values, you can use `moon new my-project` "
 "to create a new module named `username/hello` in the `my-project` "