From 0ac0066ce57fd0a55d55a68fbabf6dfad641db7e Mon Sep 17 00:00:00 2001 From: Tim Vieira Date: Wed, 10 Jul 2013 14:29:31 -0400 Subject: [PATCH] with_key no longer quotes it's second argument. --- examples/expected/dijkstra-backpointers.py.out | 4 ++-- src/Dyna/Term/SurfaceSyntax.hs | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) 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])) ] -- 2.50.1