From 47c8f99b6ef812dbc22ca56a39ba21bccad47796 Mon Sep 17 00:00:00 2001 From: Eugen Wissner Date: Tue, 8 Sep 2026 20:43:39 +0200 Subject: Implement generic pointers --- testsuite/compilable/generic_base_chain.elna | 31 ++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 testsuite/compilable/generic_base_chain.elna (limited to 'testsuite/compilable/generic_base_chain.elna') diff --git a/testsuite/compilable/generic_base_chain.elna b/testsuite/compilable/generic_base_chain.elna new file mode 100644 index 0000000..736042b --- /dev/null +++ b/testsuite/compilable/generic_base_chain.elna @@ -0,0 +1,31 @@ +type + File = record + fd: Int + end + + Map#[K, V] = record + key: K; + value: V + end + + Cache#[K, V] = record(Map#[^Word8, V]) + newest: K + end + +var + store: Cache#[^Int, ^File] + byte_key: ^Word8 + upcast: ^Map#[^Word8, ^File] + +proc put#[K2, V2](target: ^Map#[K2, V2]; key: K2) +begin + target^.key := key +return + +program() +begin + upcast := @store; + put(@store, byte_key) +return 0u8 + +end. -- cgit v1.2.3