fix the computation of abstract expressions in the presence of implicit arguments

2026-04-22 11:19:32 -06:00 · 2011-01-08 20:55:58 +00:00
parent f7a740d1bd
commit 5941995c59
3 changed files with 9 additions and 2 deletions
--- 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}
--- 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
+