formats_err: add test for leaking types

Tests for kaitai-io/kaitai_struct#534 Adds new failing test in compliler: [info] - imports_type_leaking *** FAILED *** [info] [] [info] did not equal [info] [imports/type_two.ksy: /seq/0/type: [info] error: unable to find type 'type_one', searching from type_two [info] ] (SimpleMatchers.scala:34)
kaitai-io · Apr 18, 2024 · 90a8d72 · 90a8d72
1 parent ede1105
commit 90a8d72
Show file tree

Hide file tree

Showing 3 changed files with 26 additions and 0 deletions.
diff --git a/formats_err/imports/type_one.ksy b/formats_err/imports/type_one.ksy
@@ -0,0 +1,6 @@
+# This is a file that is imported in imports_type_leaking.ksy
+meta:
+  id: type_one
+seq:
+  - id: something
+    size: 4
diff --git a/formats_err/imports/type_two.ksy b/formats_err/imports/type_two.ksy
@@ -0,0 +1,7 @@
+# This is a file that is imported in imports_type_leaking.ksy
+meta:
+  id: type_two
+  # Note: missing import of `type_one`
+seq:
+  - id: one
+    type: type_one # Note: `type_one` is not imported in this spec, so this should cause a compile error
diff --git a/formats_err/imports_type_leaking.ksy b/formats_err/imports_type_leaking.ksy
@@ -0,0 +1,13 @@
+# imports/type_two.ksy: /seq/0/type:
+# 	error: unable to find type 'type_one', searching from type_two
+#
+meta:
+  id: imports_type_leaking
+  imports:
+    - imports/type_one
+    - imports/type_two
+seq:
+  - id: another_one
+    type: type_one
+  - id: another_two
+    type: type_two