diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-01-16 00:21:02 +0200 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-01-16 00:21:02 +0200 |
| commit | 9ca1d0c763e1c506ae7b43d50db225914b709397 (patch) | |
| tree | ff80aa07a1b1ee6515926ec5d078bc44866a46aa /tests/struct_priv_trait | |
| parent | 7eaa051d4dcc3048c46f302997fd2175a983ac0e (diff) | |
| download | ek-9ca1d0c763e1c506ae7b43d50db225914b709397.tar.gz ek-9ca1d0c763e1c506ae7b43d50db225914b709397.zip | |
more strict trait checking
Diffstat (limited to 'tests/struct_priv_trait')
| -rw-r--r-- | tests/struct_priv_trait/source.mk | 1 | ||||
| -rw-r--r-- | tests/struct_priv_trait/struct.ek | 8 | ||||
| -rw-r--r-- | tests/struct_priv_trait/struct_priv_trait.ek | 5 |
3 files changed, 14 insertions, 0 deletions
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() +{ +} |