]> hydra-www.ietfng.org Git - dyna2/commitdiff
updated repl tests.
authorTim Vieira <tim.f.vieira@gmail.com>
Mon, 1 Jul 2013 04:48:58 +0000 (00:48 -0400)
committerTim Vieira <tim.f.vieira@gmail.com>
Mon, 1 Jul 2013 04:48:58 +0000 (00:48 -0400)
test/repl/aggregator-conflict.expect
test/repl/late-aggregator-assignment.expect
test/repl/retract-rule.expect

index f1a7b336f27e526ee0ddd1ffc7c0aa47da20757e..7c6de424d8144ba9ad0283322ef5fa5da3680b37 100644 (file)
@@ -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
index 8d2c40e7236c8d86a8a35570c74d79088d5c3e1d..9f9f921359ac9eb113cb0701ef974ebfc872635b 100644 (file)
@@ -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
index 6bda0477bfc8871b20b68cde2206e3adff9f27aa..ac656c6046c33bd8d54415ccca58271ae7ae1adc 100644 (file)
@@ -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