From 9ca1d0c763e1c506ae7b43d50db225914b709397 Mon Sep 17 00:00:00 2001 From: Kimplul Date: Thu, 16 Jan 2025 00:21:02 +0200 Subject: more strict trait checking --- tests/struct_unexported_trait/source.mk | 1 + tests/struct_unexported_trait/struct.ek | 3 +++ tests/struct_unexported_trait/struct_unexported_trait.ek | 5 +++++ tests/struct_unexported_trait/trait.ek | 5 +++++ 4 files changed, 14 insertions(+) create mode 100644 tests/struct_unexported_trait/source.mk create mode 100644 tests/struct_unexported_trait/struct.ek create mode 100644 tests/struct_unexported_trait/struct_unexported_trait.ek create mode 100644 tests/struct_unexported_trait/trait.ek (limited to 'tests/struct_unexported_trait') diff --git a/tests/struct_unexported_trait/source.mk b/tests/struct_unexported_trait/source.mk new file mode 100644 index 0000000..fb22304 --- /dev/null +++ b/tests/struct_unexported_trait/source.mk @@ -0,0 +1 @@ +SIMPLE_XFAIL += struct_unexported_trait,'trait used in pub def must also be exported' diff --git a/tests/struct_unexported_trait/struct.ek b/tests/struct_unexported_trait/struct.ek new file mode 100644 index 0000000..acf01f5 --- /dev/null +++ b/tests/struct_unexported_trait/struct.ek @@ -0,0 +1,3 @@ +import "trait.ek" + +pub typedef struct[trait T] {}; diff --git a/tests/struct_unexported_trait/struct_unexported_trait.ek b/tests/struct_unexported_trait/struct_unexported_trait.ek new file mode 100644 index 0000000..0e3bd9c --- /dev/null +++ b/tests/struct_unexported_trait/struct_unexported_trait.ek @@ -0,0 +1,5 @@ +import "struct.ek" + +main() +{ +} diff --git a/tests/struct_unexported_trait/trait.ek b/tests/struct_unexported_trait/trait.ek new file mode 100644 index 0000000..8280a53 --- /dev/null +++ b/tests/struct_unexported_trait/trait.ek @@ -0,0 +1,5 @@ +pub typedef i27 {}; + +pub define trait { + do_something(=> i27); +} -- cgit v1.3