refactor: simplify host parameter handling in function and export generation

Author: Arnaud Riess

crates/herkos/src/codegen/export.rs

@@ -62,18 +62,13 @@ pub fn generate_export_impl<B: Backend>(_backend: &B, info: &ModuleInfo) -> Stri
         }
 
         // Add host parameter if function needs it
-        if ir_func.needs_host {
-            if let Some(trait_bounds) = &trait_bounds_opt {
-                if has_multiple_bounds {
-                    // Use generic parameter H
-                    param_parts.push("host: &mut H".to_string());
-                } else {
-                    // Single trait bound - use impl directly
-                    param_parts.push(format!("host: &mut impl {trait_bounds}"));
-                }
+        if let Some(trait_bounds) = &trait_bounds_opt {
+            if has_multiple_bounds {
+                // Use generic parameter H
+                param_parts.push("host: &mut H".to_string());
             } else {
-                // Fallback for backwards compatibility
-                param_parts.push("host: &mut impl Host".to_string());
+                // Single trait bound - use impl directly
+                param_parts.push(format!("host: &mut impl {trait_bounds}"));
             }
         }
 

crates/herkos/src/codegen/function.rs

@@ -251,18 +251,13 @@ fn generate_signature_with_info<B: Backend>(
         .collect();
 
     // Add host parameter if function needs imports or global imports
-    if needs_host {
-        if let Some(trait_bounds) = trait_bounds_opt {
-            if has_multiple_bounds {
-                // Use generic parameter H
-                param_parts.push("host: &mut H".to_string());
-            } else {
-                // Single trait bound - use impl directly
-                param_parts.push(format!("host: &mut impl {trait_bounds}"));
-            }
+    if let Some(trait_bounds) = trait_bounds_opt {
+        if has_multiple_bounds {
+            // Use generic parameter H
+            param_parts.push("host: &mut H".to_string());
         } else {
-            // Fallback for backwards compatibility
-            param_parts.push("host: &mut impl Host".to_string());
+            // Single trait bound - use impl directly
+            param_parts.push(format!("host: &mut impl {trait_bounds}"));
         }
     }
 

crates/herkos/src/codegen/module.rs

@@ -64,7 +64,7 @@ fn generate_wrapper_module<B: Backend>(backend: &B, info: &ModuleInfo) -> Result
         ));
     }
 
-    // Constructor (standalone for backwards compatibility)
+    // Constructor (standalone free function)
     rust_code.push_str(&generate_constructor(backend, info, has_mut_globals)?);
     rust_code.push('\n');