Rework generics for parameters to be plain types

1 files changed, 6 insertions, 6 deletions

diff --git a/testsuite/runnable/generic_erasure.elna b/testsuite/runnable/generic_erasure.elna
index 20862fa..db4d8c9 100644
--- a/testsuite/runnable/generic_erasure.elna
+++ b/testsuite/runnable/generic_erasure.elna
@@ -5,16 +5,16 @@ type
   end
 
   Cell#[T] = record
-    held: T
+    held: ^T
   end
 
 var
-  files: Cell#[^File]
-  bytes: Cell#[^Word8]
+  files: Cell#[File]
+  bytes: Cell#[Word8]
   f: File
   b: Word8
 
-proc store#[T](target: ^Cell#[T]; value: T)
+proc store#[T](target: ^Cell#[T]; value: ^T)
 begin
   target^.held := value
 return
@@ -22,8 +22,8 @@ return
 begin
   f.fd := 7;
   b := 3u8;
-  store#[^File](@files, @f);
-  store#[^Word8](@bytes, @b);
+  store#[File](@files, @f);
+  store#[Word8](@bytes, @b);
   assert(files.held^.fd = 7);
   assert(bytes.held^ = 3u8)
 end.