[m-rev.] For review: bug fix for changes to promise declarations

Simon Taylor stayl at cs.mu.OZ.AU
Tue Feb 12 15:51:11 AEDT 2002


On 12-Feb-2002, Lars Yencken <lljy at students.cs.mu.oz.au> wrote:
> RCS file: /home/mercury1/repository/mercury/compiler/prog_io.m,v
> retrieving revision 1.199
> diff -u -b -r1.199 prog_io.m
> --- prog_io.m	8 Feb 2002 10:39:47 -0000	1.199
> +++ prog_io.m	12 Feb 2002 00:44:08 -0000
> @@ -1256,18 +1256,25 @@
>  		maybe1(item)).
>  :- mode parse_promise(in, in, in, in, in, out) is semidet.
>  parse_promise(ModuleName, PromiseType, VarSet, [Term], Attributes, Result) :-
> +	varset__coerce(VarSet, ProgVarSet0),
> +	parse_goal(Term, ProgVarSet0, Goal0, ProgVarSet),
> +	
>  		% get universally quantified variables
> +	( PromiseType = true ->
> +		( Goal0 = all(UnivVars0, AllGoal) - _Context -> 
> +			UnivVars0 = UnivVars,
> +			Goal = AllGoal 
> +		;
> +			UnivVars = [],
> +			Goal = Goal0
> +		)
> +	;
>  	get_quant_vars(univ, ModuleName, Attributes, [], _, UnivVars0),
>  	list__map(term__coerce_var, UnivVars0, UnivVars),
> +		Goal0 = Goal
> +	),

Formatting error.
Otherwise, this looks fine.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list