fix compile

youknowone · youknowone · commit 545f9150bb4b · 2025-07-20T16:01:14.000+09:00
diff --git a/compiler/codegen/src/compile.rs b/compiler/codegen/src/compile.rs
@@ -1666,7 +1666,7 @@ impl Compiler<'_> {
         let key = self.symbol_table_stack.len() - 1;
         let lineno = expr.range().start().to_u32();
 
-        // Enter scope with the type parameter name (matching CPython)
+        // Enter scope with the type parameter name
         self.enter_scope(name, CompilerScope::TypeParams, key, lineno)?;
 
         // Compile the expression
@@ -1712,7 +1712,7 @@ impl Compiler<'_> {
                     });
 
                     if let Some(expr) = &bound {
-                        // Use compile_type_param_bound_or_default for bound (matching CPython)
+                        // Use compile_type_param_bound_or_default for bound
                         let scope_name = if expr.is_tuple_expr() {
                             format!("<TypeVar constraint of {}>", name.as_str())
                         } else {
@@ -1737,7 +1737,7 @@ impl Compiler<'_> {
 
                     // Handle default value if present (PEP 695)
                     if let Some(default_expr) = default {
-                        // Use compile_type_param_bound_or_default for default (matching CPython)
+                        // Use compile_type_param_bound_or_default for default
                         let scope_name = format!("<TypeVar default of {}>", name.as_str());
                         self.compile_type_param_bound_or_default(default_expr, &scope_name, false)?;
                         emit!(
@@ -1764,7 +1764,7 @@ impl Compiler<'_> {
 
                     // Handle default value if present (PEP 695)
                     if let Some(default_expr) = default {
-                        // Use compile_type_param_bound_or_default for default (matching CPython)
+                        // Use compile_type_param_bound_or_default for default
                         let scope_name = format!("<ParamSpec default of {}>", name.as_str());
                         self.compile_type_param_bound_or_default(default_expr, &scope_name, false)?;
                         emit!(
@@ -1791,7 +1791,7 @@ impl Compiler<'_> {
 
                     // Handle default value if present (PEP 695)
                     if let Some(default_expr) = default {
-                        // Use compile_type_param_bound_or_default for default (matching CPython)
+                        // Use compile_type_param_bound_or_default for default
                         // TypeVarTuple allows starred expressions
                         let scope_name = format!("<TypeVarTuple default of {}>", name.as_str());
                         self.compile_type_param_bound_or_default(default_expr, &scope_name, true)?;
diff --git a/compiler/codegen/src/symboltable.rs b/compiler/codegen/src/symboltable.rs
@@ -1368,7 +1368,8 @@ impl SymbolTableBuilder<'_> {
         Ok(())
     }
 
-    /// Scan type parameter bound or default in a separate scope (matching CPython's symtable_visit_type_param_bound_or_default)
+    /// Scan type parameter bound or default in a separate scope
+    // = symtable_visit_type_param_bound_or_default
     fn scan_type_param_bound_or_default(&mut self, expr: &Expr, name: &str) -> SymbolTableResult {
         // Enter a new TypeParams scope for the bound/default expression
         // This allows the expression to access outer scope symbols

Original file line number	Diff line number	Diff line change
`@@ -1368,7 +1368,8 @@ impl SymbolTableBuilder<'_> {`
`1368`	`1368`	`Ok(())`
`1369`	`1369`	`}`
`1370`	`1370`
`1371`		`- /// Scan type parameter bound or default in a separate scope (matching CPython's symtable_visit_type_param_bound_or_default)`
	`1371`	`+ /// Scan type parameter bound or default in a separate scope`
	`1372`	`+ // = symtable_visit_type_param_bound_or_default`
`1372`	`1373`	`fn scan_type_param_bound_or_default(&mut self, expr: &Expr, name: &str) -> SymbolTableResult {`
`1373`	`1374`	`// Enter a new TypeParams scope for the bound/default expression`
`1374`	`1375`	`// This allows the expression to access outer scope symbols`