-:- :- =============
-a := 1
-:- DynaCompilerError:
+> > =============
+a => 1.
+> DynaCompilerError:
Encountered error in input program:
- Conflicting aggregators; rule /home/timv/.dyna/tmp/27197/966093dc38b755a6f17b02774b5c656931163a3a.dyna:5:1-/home/timv/.dyna/tmp/27197/966093dc38b755a6f17b02774b5c656931163a3a.dyna:5:3
+ Conflicting aggregators; rule /home/timv/.dyna/tmp/27792/966093dc38b755a6f17b02774b5c656931163a3a.dyna:5:1-/home/timv/.dyna/tmp/27792/966093dc38b755a6f17b02774b5c656931163a3a.dyna:5:3
uses '|=' for a/0 but I had been lead to expect '+='.
Everything was syntactically valid, but we could not
see it through.
> new rule(s) were not added to program.
-:- exit
+> exit