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_priv_trait/source.mk | 1 + tests/struct_priv_trait/struct.ek | 8 ++++++++ tests/struct_priv_trait/struct_priv_trait.ek | 5 +++++ 3 files changed, 14 insertions(+) create mode 100644 tests/struct_priv_trait/source.mk create mode 100644 tests/struct_priv_trait/struct.ek create mode 100644 tests/struct_priv_trait/struct_priv_trait.ek (limited to 'tests/struct_priv_trait') diff --git a/tests/struct_priv_trait/source.mk b/tests/struct_priv_trait/source.mk new file mode 100644 index 0000000..45e3623 --- /dev/null +++ b/tests/struct_priv_trait/source.mk @@ -0,0 +1 @@ +SIMPLE_XFAIL += struct_priv_trait,'trait used in pub def must also be exported' diff --git a/tests/struct_priv_trait/struct.ek b/tests/struct_priv_trait/struct.ek new file mode 100644 index 0000000..5efb96f --- /dev/null +++ b/tests/struct_priv_trait/struct.ek @@ -0,0 +1,8 @@ +pub typedef ptr {}; +pub typedef i27 {}; + +define trait { + do_something(=> i27); +} + +pub typedef struct[trait T] {}; diff --git a/tests/struct_priv_trait/struct_priv_trait.ek b/tests/struct_priv_trait/struct_priv_trait.ek new file mode 100644 index 0000000..0e3bd9c --- /dev/null +++ b/tests/struct_priv_trait/struct_priv_trait.ek @@ -0,0 +1,5 @@ +import "struct.ek" + +main() +{ +} -- cgit v1.3