From 5941995c5994a5bcdfc79ae46ed654581c2ca469 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sat, 8 Jan 2011 20:55:58 +0000
Subject: fix the computation of abstract expressions in the presence of
 implicit arguments

---
 testsuite/runtime/typecheck/implicit-arguments.gfs      | 1 +
 testsuite/runtime/typecheck/implicit-arguments.gfs.gold | 2 ++
 2 files changed, 3 insertions(+)

(limited to 'testsuite/runtime')

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
+
-- 
cgit v1.2.3