stub-implement fixed size lists

Author: cpetig

Cargo.lock

@@ -31,12 +31,12 @@ prettyplease = "0.2.20"
 syn = { version = "2.0.89", features = ["printing"] }
 futures = "0.3.31"
 
-wat = "1.229.0"
-wasmparser = "0.229.0"
-wasm-encoder = "0.229.0"
-wasm-metadata = { version = "0.229.0", default-features = false }
-wit-parser = "0.229.0"
-wit-component = "0.229.0"
+wat = { git = "https://github.com/cpetig/wasm-tools", branch = "fixed-length-list" }
+wasmparser = { git = "https://github.com/cpetig/wasm-tools", branch = "fixed-length-list" }
+wasm-encoder = { git = "https://github.com/cpetig/wasm-tools", branch = "fixed-length-list" }
+wasm-metadata = { git = "https://github.com/cpetig/wasm-tools", branch = "fixed-length-list", default-features = false }
+wit-parser = { git = "https://github.com/cpetig/wasm-tools", branch = "fixed-length-list" }
+wit-component = { git = "https://github.com/cpetig/wasm-tools", branch = "fixed-length-list" }
 
 wit-bindgen-core = { path = 'crates/core', version = '0.41.0' }
 wit-bindgen-c = { path = 'crates/c', version = '0.41.0' }

Cargo.toml

@@ -722,6 +722,7 @@ fn is_prim_type_id(resolve: &Resolve, id: TypeId) -> bool {
         | TypeDefKind::Future(_)
         | TypeDefKind::Stream(_)
         | TypeDefKind::Unknown => false,
+        TypeDefKind::FixedSizeList(_, _) => todo!(),
     }
 }
 
@@ -794,6 +795,7 @@ pub fn push_ty_name(resolve: &Resolve, ty: &Type, src: &mut String) {
                     push_ty_name(resolve, &Type::Id(*resource), src);
                 }
                 TypeDefKind::Unknown => unreachable!(),
+                TypeDefKind::FixedSizeList(_, _) => todo!(),
             }
         }
     }
@@ -1004,6 +1006,7 @@ impl Return {
             TypeDefKind::Stream(_) => todo!("return_single for stream"),
             TypeDefKind::Resource => todo!("return_single for resource"),
             TypeDefKind::Unknown => unreachable!(),
+            TypeDefKind::FixedSizeList(_, _) => todo!(),
         }
 
         self.retptrs.push(*orig_ty);
@@ -1630,6 +1633,7 @@ impl InterfaceGenerator<'_> {
                 self.free(&Type::Id(*id), "*ptr");
             }
             TypeDefKind::Unknown => unreachable!(),
+            TypeDefKind::FixedSizeList(_, _) => todo!(),
         }
         if c_helpers_body_start == self.src.c_helpers.len() {
             self.src.c_helpers.as_mut_string().truncate(c_helpers_start);
@@ -2101,6 +2105,7 @@ impl InterfaceGenerator<'_> {
                 TypeDefKind::Type(ty) => self.contains_droppable_borrow(ty),
 
                 TypeDefKind::Unknown => false,
+                TypeDefKind::FixedSizeList(_, _) => todo!(),
             }
         } else {
             false
@@ -3182,6 +3187,7 @@ pub fn is_arg_by_pointer(resolve: &Resolve, ty: &Type) -> bool {
             TypeDefKind::Stream(_) => todo!("is_arg_by_pointer for stream"),
             TypeDefKind::Resource => todo!("is_arg_by_pointer for resource"),
             TypeDefKind::Unknown => unreachable!(),
+            TypeDefKind::FixedSizeList(_, _) => todo!(),
         },
         Type::String => true,
         _ => false,

crates/c/src/lib.rs

@@ -811,6 +811,7 @@ fn needs_post_return(resolve: &Resolve, ty: &Type) -> bool {
             TypeDefKind::Flags(_) | TypeDefKind::Enum(_) => false,
             TypeDefKind::Future(_) | TypeDefKind::Stream(_) => false,
             TypeDefKind::Unknown => unreachable!(),
+            TypeDefKind::FixedSizeList(_, _) => false,
         },
 
         Type::Bool
@@ -1355,6 +1356,7 @@ impl<'a, B: Bindgen> Generator<'a, B> {
                     });
                 }
                 TypeDefKind::Unknown => unreachable!(),
+                TypeDefKind::FixedSizeList(_, _) => todo!(),
             },
         }
     }
@@ -1548,6 +1550,7 @@ impl<'a, B: Bindgen> Generator<'a, B> {
                     });
                 }
                 TypeDefKind::Unknown => unreachable!(),
+                TypeDefKind::FixedSizeList(_, _) => todo!(),
             },
         }
     }
@@ -1708,6 +1711,7 @@ impl<'a, B: Bindgen> Generator<'a, B> {
                 }
 
                 TypeDefKind::Unknown => unreachable!(),
+                TypeDefKind::FixedSizeList(_, _) => todo!(),
             },
         }
     }
@@ -1894,6 +1898,7 @@ impl<'a, B: Bindgen> Generator<'a, B> {
                 }
 
                 TypeDefKind::Unknown => unreachable!(),
+                TypeDefKind::FixedSizeList(_, _) => todo!(),
             },
         }
     }
@@ -2076,6 +2081,7 @@ impl<'a, B: Bindgen> Generator<'a, B> {
                 TypeDefKind::Future(_) => todo!("read future from memory"),
                 TypeDefKind::Stream(_) => todo!("read stream from memory"),
                 TypeDefKind::Unknown => unreachable!(),
+                TypeDefKind::FixedSizeList(_, _) => todo!(),
             },
         }
     }

crates/core/src/abi.rs

@@ -180,6 +180,7 @@ pub trait InterfaceGenerator<'a> {
             TypeDefKind::Stream(t) => self.type_stream(id, name, t, &ty.docs),
             TypeDefKind::Handle(_) => panic!("handle types do not require definition"),
             TypeDefKind::Unknown => unreachable!(),
+            TypeDefKind::FixedSizeList(_, _) => todo!(),
         }
     }
 }
@@ -215,6 +216,7 @@ pub trait AnonymousTypeGenerator<'a> {
             TypeDefKind::Stream(s) => self.anonymous_type_stream(id, s, &ty.docs),
             TypeDefKind::Handle(handle) => self.anonymous_type_handle(id, handle, &ty.docs),
             TypeDefKind::Unknown => unreachable!(),
+            TypeDefKind::FixedSizeList(_, _) => todo!(),
         }
     }
 }

crates/core/src/lib.rs

@@ -204,6 +204,7 @@ impl Types {
                 info.has_own_handle = true;
             }
             TypeDefKind::Unknown => unreachable!(),
+            TypeDefKind::FixedSizeList(_, _) => todo!(),
         }
         let prev = self.type_info.insert(ty, info);
         assert!(prev.is_none());

crates/core/src/types.rs

@@ -419,6 +419,7 @@ impl InterfaceGenerator<'_> {
                         self.push_str(">");
                     }
                     TypeDefKind::Unknown => unreachable!(),
+                    TypeDefKind::FixedSizeList(_, _) => todo!(),
                 }
             }
         }