mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 17:33:38 +00:00
Code Issues Projects Releases Wiki Activity

Fix the positioning of a comment.

Browse Source 
Estimated hours taken: 0.1
Branches: main

compiler/prog_io_goal.m:
	Fix the positioning of a comment.
This commit is contained in:
Zoltan Somogyi
2011-09-20 07:17:50 +00:00
parent 342c9549c1
commit df89726f0a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/prog_io_goal.m
View File

@@ -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 = [],