Add TypeScript compile checks

Author: aumetra

Cargo.lock

@@ -22,3 +22,6 @@ simple_logger = { version = "5.0.0", features = ["stderr"] }
 
 [dev-dependencies]
 insta = "1.40.0"
+serde = { workspace = true, features = ["derive"] }
+serde_json = "1.0.128"
+tempfile = "3.14.0"

packages/cw-schema-codegen/Cargo.toml

@@ -1,7 +1,6 @@
 use self::template::{
     EnumTemplate, EnumVariantTemplate, FieldTemplate, StructTemplate, TypeTemplate,
 };
-use heck::ToPascalCase;
 use std::{borrow::Cow, io};
 
 pub mod template;

packages/cw-schema-codegen/src/typescript/mod.rs

@@ -1,21 +1,23 @@
 use cw_schema::Schemaifier;
+use serde::Serialize;
+use std::io::Write;
 
-#[derive(Schemaifier)]
+#[derive(Schemaifier, Serialize)]
 struct Owo {
     field_1: u32,
     field_2: String,
 }
 
-#[derive(Schemaifier)]
+#[derive(Schemaifier, Serialize)]
 struct Uwu(String, u32);
 
-#[derive(Schemaifier)]
+#[derive(Schemaifier, Serialize)]
 struct Òwó;
 
-#[derive(Schemaifier)]
+#[derive(Schemaifier, Serialize)]
 enum Empty {}
 
-#[derive(Schemaifier)]
+#[derive(Schemaifier, Serialize)]
 enum Hehehe {
     A,
     B(u32),
@@ -52,3 +54,49 @@ fn codegen_snap() {
         insta::assert_snapshot!(output);
     }
 }
+
+#[test]
+fn assert_validity() {
+    let schemas = [
+        cw_schema::schema_of::<Owo>(),
+        cw_schema::schema_of::<Uwu>(),
+        cw_schema::schema_of::<Òwó>(),
+        cw_schema::schema_of::<Empty>(),
+        cw_schema::schema_of::<Hehehe>(),
+    ];
+
+    for schema in schemas {
+        let cw_schema::Schema::V1(schema) = schema else {
+            unreachable!();
+        };
+
+        let output = schema
+            .definitions
+            .iter()
+            .map(|node| {
+                let mut buf = Vec::new();
+                cw_schema_codegen::typescript::process_node(&mut buf, &schema, node).unwrap();
+                String::from_utf8(buf).unwrap()
+            })
+            .collect::<String>();
+
+        let mut file = tempfile::NamedTempFile::with_suffix(".ts").unwrap();
+        file.write_all(output.as_bytes()).unwrap();
+        file.flush().unwrap();
+
+        let output = std::process::Command::new("npx")
+            .arg("--package=typescript")
+            .arg("--")
+            .arg("tsc")
+            .arg(file.path())
+            .output()
+            .unwrap();
+
+        assert!(
+            output.status.success(),
+            "stdout: {stdout}, stderr: {stderr}",
+            stdout = String::from_utf8_lossy(&output.stdout),
+            stderr = String::from_utf8_lossy(&output.stderr)
+        );
+    }
+}

packages/cw-schema-codegen/tests/typescript.rs

@@ -375,6 +375,7 @@ fn expand_enum(mut meta: ContainerMeta, input: DataEnum) -> syn::Result<TokenStr
     let (impl_generics, ty_generics, where_clause) = meta.generics.split_for_impl();
 
     Ok(quote! {
+        #[automatically_derived]
         impl #impl_generics #crate_path::Schemaifier for #name #ty_generics #where_clause {
             fn visit_schema(visitor: &mut #crate_path::SchemaVisitor) -> #crate_path::DefinitionReference {
                 let node = #crate_path::Node {
@@ -461,6 +462,7 @@ fn expand_struct(mut meta: ContainerMeta, input: DataStruct) -> syn::Result<Toke
     let (impl_generics, ty_generics, where_clause) = meta.generics.split_for_impl();
 
     Ok(quote! {
+        #[automatically_derived]
         impl #impl_generics #crate_path::Schemaifier for #name #ty_generics #where_clause {
             fn visit_schema(visitor: &mut #crate_path::SchemaVisitor) -> #crate_path::DefinitionReference {
                 let node = {

packages/cw-schema-derive/src/expand.rs

@@ -153,11 +153,16 @@ impl Identifier {
         //
         // Seems more robust than the previous implementation.
         trait NonStaticAny {
-            fn get_type_id(&self) -> TypeId where Self: 'static;
+            fn get_type_id(&self) -> TypeId
+            where
+                Self: 'static;
         }
 
         impl<T: ?Sized> NonStaticAny for PhantomData<T> {
-            fn get_type_id(&self) -> TypeId where Self: 'static {
+            fn get_type_id(&self) -> TypeId
+            where
+                Self: 'static,
+            {
                 TypeId::of::<T>()
             }
         }
@@ -198,7 +203,6 @@ impl SchemaVisitor {
 }
 
 pub trait Schemaifier {
-    #[doc(hidden)]
     fn id() -> Identifier {
         Identifier::of::<Self>()
     }