Start adding tests

aranya-project · Feb 13, 2025 · cccfb56 · cccfb56
1 parent 024fe5f
commit cccfb56
Showing 1 changed file with 32 additions and 0 deletions.
diff --git a/crates/aranya-policy-compiler/src/tests.rs b/crates/aranya-policy-compiler/src/tests.rs
@@ -1529,6 +1529,15 @@ fn test_type_errors() -> anyhow::Result<()> {
             "#,
             e: "Struct `Foo` has no member `y`",
         },
+        Case {
+            t: r#"
+                struct Foo {a int}
+                function g(x struct Foo) bool {
+                    return Foo{a: false}
+                }
+            "#,
+            e: "`Struct Foo` field `a` is not int",
+        },
         Case {
             t: r#"
                 function g(x string) bool {
@@ -1607,6 +1616,29 @@ fn test_type_errors() -> anyhow::Result<()> {
             "#,
             e: "Emit must be given a struct",
         },
+        Case {
+            t: r#"
+                command Foo {
+                    seal {
+                      return serialize(3)
+                    }
+                }
+            "#,
+            e: "Serializing non-struct",
+        },
+        Case {
+            t: r#"
+                command Foo {
+                    seal {
+                        return None
+                    }
+                    open {
+                      return deserialize(3)
+                    }
+                }
+            "#,
+            e: "Deserializing non-bytes",
+        },
     ];
 
     for (i, c) in cases.iter().enumerate() {