[m-dev.] diff: fix cut and paste error

[Simon Taylor]

> 
> 
> Estimated hours taken: 0.1
> 
> compiler/post_typecheck.m:
> 	Fix a cut and paste error - `aditi_modify' goals were
> 	being transformed into `aditi_delete' goals.
> 
> tests/invalid/aditi_update_mode_errors.m:
> 	Fix the expected output.
> 

Index: compiler/post_typecheck.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/post_typecheck.m,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -u -r1.10 -r1.11
--- post_typecheck.m	1999/07/14 04:17:13	1.10
+++ post_typecheck.m	1999/07/14 07:03:29	1.11
@@ -457,7 +457,7 @@
 	resolve_aditi_builtin_overloading(ModuleInfo, CallerPredInfo, Args,
 		AdjustArgTypes, PredId0, PredId, SymName0, SymName),
 
-	Builtin = aditi_delete(PredId, Syntax),
+	Builtin = aditi_modify(PredId, Syntax),
 	ModifyCallId = PredOrFunc - SymName/Arity,
 
 	module_info_pred_info(ModuleInfo, PredId, RelationPredInfo),
Index: tests/invalid/aditi_update_mode_errors.err_exp
===================================================================
RCS file: /home/staff/zs/imp/tests/invalid/aditi_update_mode_errors.err_exp,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -u -r1.1 -r1.2
--- aditi_update_mode_errors.err_exp	1999/07/13 08:55:07	1.1
+++ aditi_update_mode_errors.err_exp	1999/07/14 07:03:38	1.2
@@ -53,11 +53,11 @@
 aditi_update_mode_errors.m:105:   have insts `free, unique(1), free',
 aditi_update_mode_errors.m:105:   which does not match any of the modes for function `int:+/2'.
 aditi_update_mode_errors.m:115: In clause for `aditi_update_modes12((aditi:aditi_di), (aditi:aditi_uo))':
-aditi_update_mode_errors.m:115:   in argument 2 of `aditi_delete' of predicate `p/3':
+aditi_update_mode_errors.m:115:   in argument 2 of `aditi_modify' of predicate `p/3':
 aditi_update_mode_errors.m:115:   mode error: variable `ModifyP' has instantiatedness `/* unique */(pred((free -> free), (free -> ground), (free -> ground), (free -> free), (ground -> ground), (ground -> ground)) is semidet)',
 aditi_update_mode_errors.m:115:   expected instantiatedness was `(pred(unused, in, in, unused, out, out) is semidet)'.
 aditi_update_mode_errors.m:125: In clause for `aditi_update_modes13((aditi:aditi_di), (aditi:aditi_uo))':
-aditi_update_mode_errors.m:125:   in argument 2 of `aditi_delete' of function `q/2':
+aditi_update_mode_errors.m:125:   in argument 2 of `aditi_modify' of function `q/2':
 aditi_update_mode_errors.m:125:   mode error: variable `ModifyQ' has instantiatedness `/* unique */(pred((free -> free), (ground -> ground), (ground -> ground), (free -> free), (ground -> ground), (ground -> ground)) is semidet)',
 aditi_update_mode_errors.m:125:   expected instantiatedness was `(pred(unused, in, in, unused, out, out) is semidet)'.
 aditi_update_mode_errors.m:047: In clause for `anc((aditi:aditi_ui), out, out)':
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------