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 1781636e2fe00baabb9552c7343122138613ee94..f3bbf45c9238d3d2d92770d6dd958a61f9bc4aa9 100644 (file)
--- 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 621a538bf05d4df52f029acc11cd05eee276a573..2fac82715168cc01eaa6ea03d02a14f99c8efacb 100644 (file)
--- 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]))
        ]