diff options
Diffstat (limited to 'testsuite/compilable/generic_inference.elna')
| -rw-r--r-- | testsuite/compilable/generic_inference.elna | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/testsuite/compilable/generic_inference.elna b/testsuite/compilable/generic_inference.elna index e5e6e3b..c03b902 100644 --- a/testsuite/compilable/generic_inference.elna +++ b/testsuite/compilable/generic_inference.elna @@ -13,6 +13,10 @@ var bytes: Cell#[Word8] f: File b: Word8 + s: []const Word8 + +proc identity#[T](value: ^T) -> ^T +return value proc store#[T](target: ^Cell#[T]; value: ^T) target^.held := value @@ -25,5 +29,6 @@ return begin store(@files, @f); relay(@bytes, @b); - store(@files, cast(0u: ^File)) + store(@files, cast(0u: ^File)); + s := identity(@b)[1 to 1] end. |