diff options
| author | krasimir <krasimir@chalmers.se> | 2011-01-08 20:55:58 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2011-01-08 20:55:58 +0000 |
| commit | 5941995c5994a5bcdfc79ae46ed654581c2ca469 (patch) | |
| tree | e31869bd8ef87f21b9534077e192c8c8c5abda13 /testsuite/runtime | |
| parent | f7a740d1bd0dfa437e986de06716002eab913f8f (diff) | |
fix the computation of abstract expressions in the presence of implicit arguments
Diffstat (limited to 'testsuite/runtime')
| -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
+
|