From 925b5d30bf91073632a57b547be72c217e50e2d7 Mon Sep 17 00:00:00 2001
From: Kai Schmidt <kaikaliischmidt@gmail.com>
Date: Mon, 18 Nov 2024 15:06:37 -0800
Subject: [PATCH] clarify module exports

---
 site/src/tutorial.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/site/src/tutorial.rs b/site/src/tutorial.rs
index 9304b2f38..88a906183 100644
--- a/site/src/tutorial.rs
+++ b/site/src/tutorial.rs
@@ -1562,6 +1562,10 @@ fn TutorialModules() -> impl IntoView {
         <Editor example="┌─╴Mod\n  A ← 5\n  F ← +1\n  G ← F F\n└─╴\nG A"/> // Should fail
         <p>"Names from inside the module can be "<em>"made"</em>" visible by following the module name with a "<code>"~"</code>" and a list of the names to make visible."</p>
         <Editor example="┌─╴Mod ~ A G\n  A ← 5\n  F ← +1\n  G ← F F\n└─╴\nG A"/>
+        <p>"Note that these names are brought into the module's parent scope as private bindings, so they cannot be referenced from outside the parent."</p>
+        <Editor example="┌─╴Mod\n  ┌─╴SubMod ~ X\n    X ← 5\n  └─╴\n└─╴\nMod~X"/> // Should fail
+        <p>"Names must be re-bound in the parent to be made visible."</p>
+        <Editor example="┌─╴Mod\n  ┌─╴SubMod\n    X ← 5\n  └─╴\n  X ← SubMod~X\n└─╴\nMod~X"/>
         <p>"Names defined above the module can be referenced inside it."</p>
         <Editor example="B ← 5\n┌─╴Mod\n  C ← ×2 B\n└─╴\nMod~C"/>