prevent private unnamed data defs

Author: kaikalii

changelog.md

@@ -11,7 +11,7 @@ This version is not yet released. If you are reading this on the website, then t
 - **Breaking Change** - Numeric subscripted [`join ⊂`](https://uiua.org/docs/join) now joins that many arrays
 - **Breaking Change** - Remove combining `e` number literals
   - It was confusing when combined with `e` scientific number notation
-- Allow for private [modules](https://uiua.org/tutorial/modules#private-scoped-modules), [imports](/tutorial/modules#private-imports), and [data definitions](https://uiua.org/tutorial/datadefs#visibility)
+- Allow for private [modules](https://uiua.org/tutorial/modules#private-scoped-modules), [imports](https://uiua.org/tutorial/modules#private-imports), and [data definitions](https://uiua.org/tutorial/datadefs#visibility)
 - Add array pack syntactic sugar. This lets you write code like `[⊃(+|×)]` as `⊃[+|×]`.
 - Subscripts can now be typed with `,` instead of `__`s
 - Add numeric subscripts for [`keep ▽`](https://uiua.org/docs/keep) to keep along a number of dimensions

src/compile/data.rs

@@ -79,6 +79,11 @@ impl Compiler {
                     data.span(),
                     "A module cannot have multiple unnamed data definitions",
                 ));
+            } else if !data.public {
+                self.add_error(
+                    data.init_span.clone(),
+                    "Unnamed data definitions cannot be marked private",
+                );
             }
         }
 

tests_special/error.ua

@@ -166,3 +166,8 @@ M~G
   G ↚ 5
 └─╴
 M~G
+
+┌─╴M
+  ≁ {A}
+└─╴
+M 5