From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Wed, 10 Jul 2013 18:29:31 +0000 (-0400)
Subject: with_key no longer quotes it's second argument.
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=0ac0066ce57fd0a55d55a68fbabf6dfad641db7e;p=dyna2

with_key no longer quotes it's second argument.
---

diff --git a/examples/expected/dijkstra-backpointers.py.out b/examples/expected/dijkstra-backpointers.py.out
index 1781636..f3bbf45 100644
--- a/examples/expected/dijkstra-backpointers.py.out
+++ b/examples/expected/dijkstra-backpointers.py.out
@@ -8,8 +8,8 @@ start = "a".
 
 $key/1
 ======
-$key(goal)      = end.
-$key(path("a")) = start.
+$key(goal)      = "d".
+$key(path("a")) = "a".
 $key(path("b")) = "a".
 $key(path("c")) = "b".
 $key(path("d")) = "e".
diff --git a/src/Dyna/Term/SurfaceSyntax.hs b/src/Dyna/Term/SurfaceSyntax.hs
index 621a538..2fac827 100644
--- a/src/Dyna/Term/SurfaceSyntax.hs
+++ b/src/Dyna/Term/SurfaceSyntax.hs
@@ -177,7 +177,7 @@ disposTab_prologish t = DisposTab s a
        , (("false",0),(SDQuote,[]))
        -- key
        , (("$key" ,1),(SDEval,[ADQuote]))
-       , (("with_key",2),(SDQuote,[ADEval, ADQuote]))
+       , (("with_key",2),(SDQuote,[ADEval, ADEval]))
        -- lists
        , (("nil",  0),(SDQuote,[]))
        , (("cons", 2),(SDQuote,[ADEval,ADEval]))
@@ -211,7 +211,7 @@ disposTab_dyna t = DisposTab s a
        , (("cons", 2),(SDQuote,[ADEval,ADEval]))
        -- key
        , (("$key" ,1),(SDEval,[ADQuote]))
-       , (("with_key",2),(SDQuote,[ADEval, ADQuote]))
+       , (("with_key",2),(SDQuote,[ADEval, ADEval]))
        , (("->",2),(SDQuote,[ADQuote, ADQuote]))
        ]