Fixed Rust tests.

Author: zrho

hugr-core/src/types/type_param.rs

@@ -565,12 +565,24 @@ mod test {
         )
         .unwrap_err();
 
-        // TypeParam::Tuples require a TypeArg::Seq of the same number of elems
+        // TypeParam::Tuples require a TypeArg::Tuple of the same number of elems
         let usize_and_ty = TypeParam::Tuple {
             params: vec![TypeParam::max_nat(), TypeBound::Copyable.into()],
         };
-        check(vec![5.into(), usize_t().into()], &usize_and_ty).unwrap();
-        check(vec![usize_t().into(), 5.into()], &usize_and_ty).unwrap_err(); // Wrong way around
+        check(
+            TypeArg::Tuple {
+                elems: vec![5.into(), usize_t().into()],
+            },
+            &usize_and_ty,
+        )
+        .unwrap();
+        check(
+            TypeArg::Tuple {
+                elems: vec![usize_t().into(), 5.into()],
+            },
+            &usize_and_ty,
+        )
+        .unwrap_err(); // Wrong way around
         let two_types = TypeParam::Tuple {
             params: vec![TypeBound::Any.into(), TypeBound::Any.into()],
         };

hugr-llvm/src/extension/prelude.rs

@@ -560,7 +560,7 @@ mod test {
     fn prelude_panic(prelude_llvm_ctx: TestContext) {
         let error_val = ConstError::new(42, "PANIC");
         let type_arg_q: TypeArg = TypeArg::Type { ty: qb_t() };
-        let type_arg_2q: TypeArg = TypeArg::Sequence {
+        let type_arg_2q: TypeArg = TypeArg::List {
             elems: vec![type_arg_q.clone(), type_arg_q],
         };
         let panic_op = PRELUDE
@@ -588,7 +588,7 @@ mod test {
     fn prelude_exit(prelude_llvm_ctx: TestContext) {
         let error_val = ConstError::new(42, "EXIT");
         let type_arg_q: TypeArg = TypeArg::Type { ty: qb_t() };
-        let type_arg_2q: TypeArg = TypeArg::Sequence {
+        let type_arg_2q: TypeArg = TypeArg::List {
             elems: vec![type_arg_q.clone(), type_arg_q],
         };
         let exit_op = PRELUDE

hugr-passes/src/monomorphize.rs

@@ -659,7 +659,8 @@ mod test {
     #[case::type_int(vec![INT_TYPES[2].clone().into()], "$foo$$t(int(2))")]
     #[case::string(vec!["arg".into()], "$foo$$s(arg)")]
     #[case::dollar_string(vec!["$arg".into()], "$foo$$s(\\$arg)")]
-    #[case::sequence(vec![vec![0.into(), Type::UNIT.into()].into()], "$foo$$seq($n(0)$t(Unit))")]
+    #[case::sequence(vec![vec![0.into(), Type::UNIT.into()].into()], "$foo$$list($n(0)$t(Unit))")]
+    #[case::sequence(vec![TypeArg::Tuple { elems: vec![0.into(), Type::UNIT.into()] }], "$foo$$tuple($n(0)$t(Unit))")]
     #[should_panic]
     #[case::typeargvariable(vec![TypeArg::new_var_use(1, TypeParam::String)],
                             "$foo$$v(1)")]