aboutsummaryrefslogtreecommitdiff
path: root/testsuite/runnable/generic_erasure.elna
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/runnable/generic_erasure.elna')
-rw-r--r--testsuite/runnable/generic_erasure.elna12
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.