use invoke val

Author: rachitnigam

tests/warnings/unused/simple-unused.expect

@@ -7,29 +7,23 @@ error: unused instance: instance is created but never invoked
 8 │   UnusedAdd := new Add;
   │   ^^^^^^^^^ instance defined here
 
-error: unused invocation: output ports on invocation never used
-   ┌─ tests/warnings/unused/simple-unused.fil:15:3
-   │
-15 │   used_invoke := UsedAdd<'G>();
-   │   ^^^^^^^^^^^ invocation defined here
-
 error: unused invocation: output ports on invocation never used
    ┌─ tests/warnings/unused/simple-unused.fil:12:3
    │
 12 │   unused_invoke := UsedAdd<'G>();
    │   ^^^^^^^^^^^^^ invocation defined here
 
-error: unused parameter: parameter is defined but never used
-  ┌─ tests/warnings/unused/simple-unused.fil:5:7
-  │
-5 │   let USED_PARAM = 10;
-  │       ^^^^^^^^^^ parameter defined here
-
 error: unused parameter: parameter is defined but never used
   ┌─ tests/warnings/unused/simple-unused.fil:4:7
   │
 4 │   let UNUSED_PARAM = 42;
   │       ^^^^^^^^^^^^ parameter defined here
 
-Compilation failed with 5 errors.
+error: unused parameter: parameter is defined but never used
+  ┌─ tests/warnings/unused/simple-unused.fil:5:7
+  │
+5 │   let USED_PARAM = 10;
+  │       ^^^^^^^^^^ parameter defined here
+
+Compilation failed with 4 errors.
 Run with --show-models to generate assignments for failing constraints.

tests/warnings/unused/simple-unused.fil

@@ -1,6 +1,6 @@
-comp Add<'G:1>() -> () {}
+comp Add<'G:1>() -> (out: ['G, 'G+1] 32) {}
 
-comp main<'G:1>() -> () with {
+comp main<'G:1>() -> (out: ['G, 'G+1] 32) with {
   let UNUSED_PARAM = 42;
   let USED_PARAM = 10;
 } {
@@ -13,4 +13,5 @@ comp main<'G:1>() -> () with {
 
   // Actually used
   used_invoke := UsedAdd<'G>();
-}
+  out = used_invoke.out;
+}