From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Wed, 10 Jul 2013 19:34:16 +0000 (-0400)
Subject: Issue #15: updated Jason's Dijkstra backpointer example to use  which doesn't quote... 
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=870186138dc9685d01e6136821d92d24abd634e3;p=dyna2

Issue #15: updated Jason's Dijkstra backpointer example to use  which doesn't quote its second argument.
---

diff --git a/examples/dijkstra-backpointers2.dyna b/examples/dijkstra-backpointers2.dyna
index bb7948e..f7c8f5f 100644
--- a/examples/dijkstra-backpointers2.dyna
+++ b/examples/dijkstra-backpointers2.dyna
@@ -4,7 +4,7 @@
 % Cost of the optimal path from start to each node.  
 % In each case, the associated key is a reversed version of the path itself.
 path(start) min= 0                   with_key [start].
-path(B)     min= path(A) + edge(A,B) with_key P for P is append($key(path(A)),B).
+path(B)     min= path(A) + edge(A,B) with_key append($key(path(A)),B).
 
 % The cost of the optimal path to the end node, and that path itself.
 goal        = path(end).
diff --git a/examples/expected/dijkstra-backpointers.py.out b/examples/expected/dijkstra-backpointers.py.out
index f3bbf45..cc9e93a 100644
--- a/examples/expected/dijkstra-backpointers.py.out
+++ b/examples/expected/dijkstra-backpointers.py.out
@@ -8,8 +8,7 @@ start = "a".
 
 $key/1
 ======
-$key(goal)      = "d".
-$key(path("a")) = "a".
+$key(path("a")) = [].
 $key(path("b")) = "a".
 $key(path("c")) = "b".
 $key(path("d")) = "e".