From df89726f0ac97c03aaa2e5df464023fc6dedcd85 Mon Sep 17 00:00:00 2001 From: Zoltan Somogyi Date: Tue, 20 Sep 2011 07:17:50 +0000 Subject: [PATCH] Fix the positioning of a comment. Estimated hours taken: 0.1 Branches: main compiler/prog_io_goal.m: Fix the positioning of a comment. --- compiler/prog_io_goal.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/prog_io_goal.m b/compiler/prog_io_goal.m index 8562a185c..daf2ba375 100644 --- a/compiler/prog_io_goal.m +++ b/compiler/prog_io_goal.m @@ -151,13 +151,13 @@ parse_goal(Term, ContextPieces, MaybeGoal, !VarSet) :- list(format_component)::in, maybe1(goal)::out, prog_varset::in, prog_varset::out) is semidet. +parse_goal_2(Functor, Args, Context, ContextPieces, MaybeGoal, !VarSet) :- % Since (A -> B) has different semantics in standard Prolog % (A -> B ; fail) than it does in NU-Prolog or Mercury (A -> B ; true), % for the moment we'll just disallow it. % For consistency we also disallow if-then without the else. % XXX We should update ContextPieces as we recurse down. -parse_goal_2(Functor, Args, Context, ContextPieces, MaybeGoal, !VarSet) :- ( Functor = "true", Args = [],