diff options
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/runtime/typecheck/implicit-arguments.gfs | 1 | ||||
| -rw-r--r-- | testsuite/runtime/typecheck/implicit-arguments.gfs.gold | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/runtime/typecheck/implicit-arguments.gfs b/testsuite/runtime/typecheck/implicit-arguments.gfs index 5667a2647..49850aeef 100644 --- a/testsuite/runtime/typecheck/implicit-arguments.gfs +++ b/testsuite/runtime/typecheck/implicit-arguments.gfs @@ -8,3 +8,4 @@ ai <\x -> x : ({m},n : Node) -> Node> ai <n1 : ({m} : Node) -> Node> ai <? : ({m} : Node) -> Node> ai <link id : Path n1 n1> +pt -compute <\{n} -> n : ({n} : Node) -> Node> {n1} diff --git a/testsuite/runtime/typecheck/implicit-arguments.gfs.gold b/testsuite/runtime/typecheck/implicit-arguments.gfs.gold index e0a83f5b6..3292c2ea1 100644 --- a/testsuite/runtime/typecheck/implicit-arguments.gfs.gold +++ b/testsuite/runtime/typecheck/implicit-arguments.gfs.gold @@ -31,3 +31,5 @@ Expression: <link {n1} {n1} (id {n1}) : Path n1 n1> Type: Path n1 n1
Probability: 1.0
+n1
+
|