tests: out-var - typed declarations

Author: fibodevy

unleashed/tests/testfiles/out_var/out_var_fail_typed_decl_mismatch_01.pp

@@ -0,0 +1,13 @@
+{ %FAIL }
+program out_var_fail_typed_decl_mismatch_01;
+{$mode unleashed}
+
+procedure setName(out s: string);
+begin
+  s := 'foo';
+end;
+
+begin
+  // the annotated type must equal the parameter type
+  setName(var n: integer);
+end.

unleashed/tests/testfiles/out_var/out_var_typed_decl_anon_type_01.pp

@@ -0,0 +1,17 @@
+program out_var_typed_decl_anon_type_01;
+{$mode unleashed}
+
+// the annotation accepts anonymous types, here at an untyped parameter
+procedure stamp(var buf);
+var p: pbyte;
+begin
+  p := pbyte(@buf);
+  p^ := $AB;
+  inc(p, 3);
+  p^ := $CD;
+end;
+
+begin
+  stamp(var raw: array[0..3] of byte);
+  if (raw[0] <> $AB) or (raw[1] <> 0) or (raw[3] <> $CD) then Halt(1);
+end.

unleashed/tests/testfiles/out_var/out_var_typed_decl_out_param_01.pp

@@ -0,0 +1,13 @@
+program out_var_typed_decl_out_param_01;
+{$mode unleashed}
+
+// annotation works at a typed out parameter too - plain capture
+procedure getVal(out x: integer);
+begin
+  x := 42;
+end;
+
+begin
+  getVal(var n: integer);
+  if n <> 42 then Halt(1);
+end.

unleashed/tests/testfiles/out_var/out_var_typed_decl_overload_01.pp

@@ -0,0 +1,21 @@
+program out_var_typed_decl_overload_01;
+{$mode unleashed}
+
+// the annotation resolves an overload pair a bare `var x` cannot
+procedure take(out x: integer); overload;
+begin
+  x := 1;
+end;
+
+procedure take(out x: string); overload;
+begin
+  x := 'str';
+end;
+
+begin
+  take(var n: integer);
+  if n <> 1 then Halt(1);
+
+  take(var s: string);
+  if s <> 'str' then Halt(2);
+end.

unleashed/tests/testfiles/out_var/out_var_typed_decl_seed_01.pp

@@ -0,0 +1,13 @@
+program out_var_typed_decl_seed_01;
+{$mode unleashed}
+
+// annotation and seed combine: `var x: T := e`
+procedure addTo(var acc: integer; n: integer);
+begin
+  acc := acc + n;
+end;
+
+begin
+  addTo(var x: integer := 100, 5);
+  if x <> 105 then Halt(1);
+end.

unleashed/tests/testfiles/out_var/out_var_typed_decl_untyped_param_01.pp

@@ -0,0 +1,15 @@
+program out_var_typed_decl_untyped_param_01;
+{$mode unleashed}
+
+// annotation is the way to bind an untyped var parameter:
+// the callee sees a zeroed variable of the annotated type
+procedure grab(var buf);
+begin
+  if pinteger(@buf)^ <> 0 then Halt(1);
+  pinteger(@buf)^ := 7;
+end;
+
+begin
+  grab(var n: integer);
+  if n <> 7 then Halt(2);
+end.

unleashed/tests/testfiles/out_var/out_var_typed_decl_untyped_seed_01.pp

@@ -0,0 +1,14 @@
+program out_var_typed_decl_untyped_seed_01;
+{$mode unleashed}
+
+// seeded annotated declaration at an untyped var parameter
+procedure bump(var buf);
+begin
+  if pinteger(@buf)^ <> 123 then Halt(1);
+  inc(pinteger(@buf)^);
+end;
+
+begin
+  bump(var n: integer := 123);
+  if n <> 124 then Halt(2);
+end.

unleashed/tests/testfiles/out_var/out_var_typed_decl_zero_01.pp

@@ -0,0 +1,15 @@
+program out_var_typed_decl_zero_01;
+{$mode unleashed}
+
+// annotated declaration at a matching typed var parameter:
+// same zero-init as the bare form
+procedure addTo(var acc: integer; n: integer);
+begin
+  if acc <> 0 then Halt(1);
+  acc := acc + n;
+end;
+
+begin
+  addTo(var x: integer, 5);
+  if x <> 5 then Halt(2);
+end.