Do not export locals

Fixes #4227
2025-10-12 11:38:20 +00:00 · 2025-02-12 13:49:12 -08:00 · 2025-02-12 13:49:12 -08:00 · 7160e074f6
commit 7160e074f6
parent b7b31ebce5
3 changed files with 28 additions and 1 deletions
--- a/src/parse.y
+++ b/src/parse.y
@ -2212,7 +2212,7 @@ local_id:
 			else
 				{
 				$$ = install_ID($1, current_module.c_str(),
-				                              false, is_export).release();
+				                              false, false).release();
 				}
 			}
 	;