myfreess · Sep 30, 2026 · Sep 30, 2026 · Sep 30, 2026
diff --git a/lexer/moon.mod b/lexer/moon.mod
@@ -1,6 +1,6 @@
 name = "moonbitlang/lexer"
 
-version = "0.4.1"
+version = "0.4.2"
 
 repository = "https://github.com/moonbitlang/parser"
 

diff --git a/moon.mod b/moon.mod
@@ -1,11 +1,11 @@
 name = "moonbitlang/parser"
 
-version = "0.4.2"
+version = "0.4.3"
 
 import {
   "moonbitlang/x@0.5.1",
-  "moonbitlang/lexer@0.4.1",
-  "moonbitlang/moon_config@0.4.1",
+  "moonbitlang/lexer@0.4.2",
+  "moonbitlang/moon_config@0.4.2",
   "moonbitlang/async@0.22.4",
   "moonbit-community/prettyprinter@0.4.10",
 }

diff --git a/moon_config/moon.mod b/moon_config/moon.mod
@@ -1,9 +1,9 @@
 name = "moonbitlang/moon_config"
 
-version = "0.4.1"
+version = "0.4.2"
 
 import {
-  "moonbitlang/lexer@0.4.1",
+  "moonbitlang/lexer@0.4.2",
 }
 
 repository = "https://github.com/moonbitlang/parser"

diff --git a/untyped_cst/README.mbt.md b/untyped_cst/README.mbt.md
@@ -20,10 +20,8 @@ root kind returns a diagnostic.
 ## Node Model
 
 The source-independent node model lives in
-`moonbitlang/parser/untyped_cst/internal/node`. MoonBit restricts imports of
-this package to `untyped_cst` and its subpackages. Code within that subtree can
-use `CstNode`, `NodeKind`, `NodePayload`, and the node traversal, payload, and
-classification helpers.
+`moonbitlang/parser/untyped_cst/node`. Code can use `CstNode`, `NodeKind`,
+`NodePayload`, and the node traversal, payload, and classification helpers.
 
 `NodeKind` is public but read-only outside the node package. Inspect it with
 pattern matching or its classification methods. Construct nodes with the
@@ -64,19 +62,18 @@ Nodes retain `loc` and `source_span`; there are no additional location children.
 AST locations are computed during lowering from tokens and syntax boundaries,
 without reading source text or re-parsing it.
 
-The `untyped_cst` package re-exports the three node types for in-subtree code.
-MoonBit's internal visibility rules prevent outside packages from inspecting
-or constructing these types through the re-exports. Outside callers can use
-`ParseResult::diagnostics_view`, `ParseResult::to_impls`, and
-`ParseResult::to_expr`.
+The `untyped_cst` package re-exports the three node types. Callers that need
+constructors or helpers can import `untyped_cst/node` directly; callers that
+only parse and lower source can use `ParseResult::diagnostics_view`,
+`ParseResult::to_impls`, and `ParseResult::to_expr` from `untyped_cst`.
 
 ## Package Organization
 
 `untyped_cst` owns the public parsing entry points and `ParseResult`, including
-its AST conversion methods. Implementation details live in four internal
-packages:
+its AST conversion methods. The node model is a public subpackage, while the
+remaining implementation details live in three internal packages:
 
-- `internal/node` defines CST nodes and their constructors and helpers.
+- `node` defines CST nodes and their constructors and helpers.
 - `internal/construction` builds CST nodes and their semantic children.
 - `internal/parser` handles token streams, parsing, and error recovery.
 - `internal/lower` converts CST nodes to the syntax AST and attaches docstrings.

diff --git a/untyped_cst/internal/construction/moon.pkg b/untyped_cst/internal/construction/moon.pkg
@@ -1,7 +1,7 @@
 import {
   "moonbitlang/lexer/tokens",
   "moonbitlang/lexer/basic",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
   "moonbitlang/parser/syntax",
 }
 

diff --git a/untyped_cst/internal/construction/pkg.generated.mbti b/untyped_cst/internal/construction/pkg.generated.mbti
@@ -4,7 +4,7 @@ package "moonbitlang/parser/untyped_cst/internal/construction"
 import {
   "moonbitlang/lexer/basic",
   "moonbitlang/lexer/tokens",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
 }
 
 // Values

diff --git a/untyped_cst/internal/lower/moon.pkg b/untyped_cst/internal/lower/moon.pkg
@@ -1,7 +1,7 @@
 import {
   "moonbitlang/lexer/tokens",
   "moonbitlang/lexer/basic",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
   "moonbitlang/parser/syntax",
   "moonbitlang/parser/attribute",
   "moonbitlang/core/list",

diff --git a/untyped_cst/internal/lower/pkg.generated.mbti b/untyped_cst/internal/lower/pkg.generated.mbti
@@ -6,7 +6,7 @@ import {
   "moonbitlang/lexer/basic",
   "moonbitlang/lexer/tokens",
   "moonbitlang/parser/syntax",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
 }
 
 // Values

diff --git a/untyped_cst/internal/parser/moon.pkg b/untyped_cst/internal/parser/moon.pkg
@@ -2,7 +2,7 @@ import {
   "moonbitlang/lexer",
   "moonbitlang/lexer/tokens",
   "moonbitlang/lexer/basic",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
   "moonbitlang/parser/untyped_cst/internal/construction",
   "moonbitlang/parser/untyped_cst/internal/parser/parserstate",
   "moonbitlang/core/list",

diff --git a/untyped_cst/internal/parser/parserstate/moon.pkg b/untyped_cst/internal/parser/parserstate/moon.pkg
@@ -1,7 +1,7 @@
 import {
   "moonbitlang/lexer/tokens",
   "moonbitlang/lexer/basic",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
   "moonbitlang/parser/untyped_cst/internal/construction",
 }
 

diff --git a/untyped_cst/internal/parser/parserstate/pkg.generated.mbti b/untyped_cst/internal/parser/parserstate/pkg.generated.mbti
@@ -4,7 +4,7 @@ package "moonbitlang/parser/untyped_cst/internal/parser/parserstate"
 import {
   "moonbitlang/lexer/basic",
   "moonbitlang/lexer/tokens",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
 }
 
 // Values

diff --git a/untyped_cst/internal/parser/pkg.generated.mbti b/untyped_cst/internal/parser/pkg.generated.mbti
@@ -5,7 +5,7 @@ import {
   "moonbitlang/core/list",
   "moonbitlang/lexer/basic",
   "moonbitlang/lexer/tokens",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
 }
 
 // Values

diff --git a/untyped_cst/moon.pkg b/untyped_cst/moon.pkg
@@ -1,7 +1,7 @@
 import {
   "moonbitlang/lexer/tokens",
   "moonbitlang/lexer/basic",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
   "moonbitlang/parser/untyped_cst/internal/parser" @cst_parser,
   "moonbitlang/parser/untyped_cst/internal/lower",
   "moonbitlang/parser/syntax",

diff --git a/untyped_cst/internal/node/api_test.mbt → untyped_cst/node/api_test.mbt b/untyped_cst/internal/node/api_test.mbt → untyped_cst/node/api_test.mbt
diff --git a/...ped_cst/internal/node/coloncolon_test.mbt → untyped_cst/node/coloncolon_test.mbt b/...ped_cst/internal/node/coloncolon_test.mbt → untyped_cst/node/coloncolon_test.mbt
diff --git a/untyped_cst/internal/node/constructors.mbt → untyped_cst/node/constructors.mbt b/untyped_cst/internal/node/constructors.mbt → untyped_cst/node/constructors.mbt
diff --git a/.../internal/node/constructors_expr_type.mbt → untyped_cst/node/constructors_expr_type.mbt b/.../internal/node/constructors_expr_type.mbt → untyped_cst/node/constructors_expr_type.mbt
diff --git a/...ernal/node/constructors_fields_values.mbt → ...d_cst/node/constructors_fields_values.mbt b/...ernal/node/constructors_fields_values.mbt → ...d_cst/node/constructors_fields_values.mbt
diff --git a/...rnal/node/constructors_metadata_lists.mbt → ..._cst/node/constructors_metadata_lists.mbt b/...rnal/node/constructors_metadata_lists.mbt → ..._cst/node/constructors_metadata_lists.mbt
diff --git a/.../internal/node/constructors_root_impl.mbt → untyped_cst/node/constructors_root_impl.mbt b/.../internal/node/constructors_root_impl.mbt → untyped_cst/node/constructors_root_impl.mbt
diff --git a/...d_cst/internal/node/constructors_test.mbt → untyped_cst/node/constructors_test.mbt b/...d_cst/internal/node/constructors_test.mbt → untyped_cst/node/constructors_test.mbt
diff --git a/..._cst/internal/node/constructors_token.mbt → untyped_cst/node/constructors_token.mbt b/..._cst/internal/node/constructors_token.mbt → untyped_cst/node/constructors_token.mbt
diff --git a/...ed_cst/internal/node/cst_debug_wbtest.mbt → untyped_cst/node/cst_debug_wbtest.mbt b/...ed_cst/internal/node/cst_debug_wbtest.mbt → untyped_cst/node/cst_debug_wbtest.mbt
diff --git a/untyped_cst/internal/node/imports.mbt → untyped_cst/node/imports.mbt b/untyped_cst/internal/node/imports.mbt → untyped_cst/node/imports.mbt
diff --git a/untyped_cst/internal/node/kind.mbt → untyped_cst/node/kind.mbt b/untyped_cst/internal/node/kind.mbt → untyped_cst/node/kind.mbt
diff --git a/untyped_cst/internal/node/kind_wbtest.mbt → untyped_cst/node/kind_wbtest.mbt b/untyped_cst/internal/node/kind_wbtest.mbt → untyped_cst/node/kind_wbtest.mbt
diff --git a/untyped_cst/internal/node/moon.pkg → untyped_cst/node/moon.pkg b/untyped_cst/internal/node/moon.pkg → untyped_cst/node/moon.pkg
diff --git a/untyped_cst/internal/node/node.mbt → untyped_cst/node/node.mbt b/untyped_cst/internal/node/node.mbt → untyped_cst/node/node.mbt
diff --git a/untyped_cst/internal/node/node_wbtest.mbt → untyped_cst/node/node_wbtest.mbt b/untyped_cst/internal/node/node_wbtest.mbt → untyped_cst/node/node_wbtest.mbt
diff --git a/...t/internal/node/ordered_children_test.mbt → untyped_cst/node/ordered_children_test.mbt b/...t/internal/node/ordered_children_test.mbt → untyped_cst/node/ordered_children_test.mbt
diff --git a/untyped_cst/internal/node/payload.mbt → untyped_cst/node/payload.mbt b/untyped_cst/internal/node/payload.mbt → untyped_cst/node/payload.mbt
diff --git a/untyped_cst/internal/node/pkg.generated.mbti → untyped_cst/node/pkg.generated.mbti b/untyped_cst/internal/node/pkg.generated.mbti → untyped_cst/node/pkg.generated.mbti
@@ -1,5 +1,5 @@
 // Generated using `moon info`, DON'T EDIT IT
-package "moonbitlang/parser/untyped_cst/internal/node"
+package "moonbitlang/parser/untyped_cst/node"
 
 import {
   "moonbitlang/core/debug",

diff --git a/untyped_cst/internal/node/text_wbtest.mbt → untyped_cst/node/text_wbtest.mbt b/untyped_cst/internal/node/text_wbtest.mbt → untyped_cst/node/text_wbtest.mbt
diff --git a/untyped_cst/internal/node/token_test.mbt → untyped_cst/node/token_test.mbt b/untyped_cst/internal/node/token_test.mbt → untyped_cst/node/token_test.mbt
diff --git a/untyped_cst/internal/node/traversal.mbt → untyped_cst/node/traversal.mbt b/untyped_cst/internal/node/traversal.mbt → untyped_cst/node/traversal.mbt
diff --git a/untyped_cst/pkg.generated.mbti b/untyped_cst/pkg.generated.mbti
@@ -7,7 +7,7 @@ import {
   "moonbitlang/lexer/basic",
   "moonbitlang/lexer/tokens",
   "moonbitlang/parser/syntax",
-  "moonbitlang/parser/untyped_cst/internal/node",
+  "moonbitlang/parser/untyped_cst/node",
 }
 
 // Values