Rework generics for parameters to be plain types

1 files changed, 7 insertions, 7 deletions

diff --git a/testsuite/compilable/generic_base_chain.elna b/testsuite/compilable/generic_base_chain.elna
index c303e6d..1abe199 100644
--- a/testsuite/compilable/generic_base_chain.elna
+++ b/testsuite/compilable/generic_base_chain.elna
@@ -5,20 +5,20 @@ type
   end
 
   Map#[K, V] = record
-    key: K;
-    value: V
+    key: ^K;
+    value: ^V
   end
 
-  Cache#[K, V] = record(Map#[^Word8, V])
-    newest: K
+  Cache#[K, V] = record(Map#[Word8, V])
+    newest: ^K
   end
 
 var
-  store: Cache#[^Int, ^File]
+  store: Cache#[Int, File]
   byte_key: ^Word8
-  upcast: ^Map#[^Word8, ^File]
+  upcast: ^Map#[Word8, File]
 
-proc put#[K2, V2](target: ^Map#[K2, V2]; key: K2)
+proc put#[K2, V2](target: ^Map#[K2, V2]; key: ^K2)
 begin
   target^.key := key
 return