From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Mon, 1 Jul 2013 04:48:58 +0000 (-0400)
Subject: updated repl tests.
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=80818883c8178e7203c4e681879e709198128e52;p=dyna2

updated repl tests.
---

diff --git a/test/repl/aggregator-conflict.expect b/test/repl/aggregator-conflict.expect
index f1a7b33..7c6de42 100644
--- a/test/repl/aggregator-conflict.expect
+++ b/test/repl/aggregator-conflict.expect
@@ -1,10 +1,10 @@
-:- :- =============
+> > =============
 a => 1.
-:- DynaCompilerError:
+> DynaCompilerError:
 FATAL: Encountered error in input program:
- Conflicting aggregators; rule /home/timv/.dyna/tmp/6676/966093dc38b755a6f17b02774b5c656931163a3a.dyna:5:1-/home/timv/.dyna/tmp/6676/966093dc38b755a6f17b02774b5c656931163a3a.dyna:5:3
+ Conflicting aggregators; rule /home/timv/.dyna/tmp/25930/966093dc38b755a6f17b02774b5c656931163a3a.dyna:5:1-/home/timv/.dyna/tmp/25930/966093dc38b755a6f17b02774b5c656931163a3a.dyna:5:3
  uses '|=' for a/0 but I had been lead to expect '+='.
 
 > new rule(s) were not added to program.
 
-:- exit
+> exit
diff --git a/test/repl/late-aggregator-assignment.expect b/test/repl/late-aggregator-assignment.expect
index 8d2c40e..9f9f921 100644
--- a/test/repl/late-aggregator-assignment.expect
+++ b/test/repl/late-aggregator-assignment.expect
@@ -1,24 +1,24 @@
-:- :- :- 
+> > > 
 Rules
 =====
   0: a += b * c.
 
-:- =============
+> =============
 b => 2.
-:- 
+> 
 Rules
 =====
   0: a += b * c.
   1: b := 2.
 
-:- =============
+> =============
 a => 6.
 c => 3.
-:- 
+> 
 Rules
 =====
   0: a += b * c.
   1: b := 2.
   2: c := 3.
 
-:- exit
+> exit
diff --git a/test/repl/retract-rule.expect b/test/repl/retract-rule.expect
index 6bda047..ac656c6 100644
--- a/test/repl/retract-rule.expect
+++ b/test/repl/retract-rule.expect
@@ -1,25 +1,25 @@
-:- :- =============
+> > =============
 a => 1.
-:- =============
+> =============
 b => 1.
-:- =============
+> =============
 a => 2.
-:- 
+> 
 Rules
 =====
   0: a += 1.
   1: b += 1.
   2: a += 1.
 
-:- 
+> 
 Solution
 ========
 a => 2.
 b => 1.
 
-:- :- :- 
+> > > 
 Solution
 ========
 a => 1.
 
-:- exit
+> exit