Fix list copying

OpShin · Jul 24, 2024 · ef1a57c · ef1a57c
1 parent 6a0918b
commit ef1a57c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/opshin/type_impls.py b/opshin/type_impls.py
@@ -1071,14 +1071,14 @@ def copy_only_attributes(self) -> plt.AST:
             OVar("self"),
             OLambda(
                 ["v"],
-                transform_output_map(self.typ)(
+                transform_ext_params_map(self.typ)(
                     plt.Apply(
                         self.typ.copy_only_attributes(),
-                        transform_ext_params_map(self.typ)(OVar("v")),
+                        transform_output_map(self.typ)(OVar("v")),
                     )
                 ),
             ),
-            plt.EmptyDataList(),
+            empty_list(self.typ),
         )
         return OLambda(["self"], mapped_attrs)