diff options
Diffstat (limited to 'testsuite/compilable/generic_inference.elna')
| -rw-r--r-- | testsuite/compilable/generic_inference.elna | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/compilable/generic_inference.elna b/testsuite/compilable/generic_inference.elna index 860eab1..9d7fed6 100644 --- a/testsuite/compilable/generic_inference.elna +++ b/testsuite/compilable/generic_inference.elna @@ -5,20 +5,20 @@ 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) target^.held := value return -proc relay#[T](target: ^Cell#[T]; value: T) +proc relay#[T](target: ^Cell#[T]; value: ^T) store(target, value) return |