[m-rev.] diff: fix tests/valid/higher_order4 on 0.11 branch

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Jan 16 16:52:36 AEDT 2003


Estimated hours taken: 0.25
Branches: release branch (version-0_11-branch) only

tests/valid/higher_order4.m:
	Fix a bug where this test cases was using the unit/1 type,
	which is only defined by the standard library on the main
	branch, not on the release branch.

Workspace: /mnt/ceres/home/ceres/fjh/mercury
Index: tests/valid/higher_order4.m
===================================================================
RCS file: /home/mercury1/repository/tests/valid/higher_order4.m,v
retrieving revision 1.1
diff -u -d -r1.1 higher_order4.m
--- tests/valid/higher_order4.m	14 Jan 2003 13:47:44 -0000	1.1
+++ tests/valid/higher_order4.m	16 Jan 2003 05:49:26 -0000
@@ -4,8 +4,10 @@
 
 :- import_module io, list, std_util.
 
+:- type myunit(T) ---> myunit.
+
 :- type analysis_request
-	---> some [FuncInfo, Call] analysis_request(unit(FuncInfo), Call)
+	---> some [FuncInfo, Call] analysis_request(myunit(FuncInfo), Call)
 				=> call_pattern(FuncInfo, Call).
 :- type module_analysis_map(T) == mymap(analysis_name, func_analysis_map(T)).
 :- type func_analysis_map(T) == mymap(func_id, list(T)).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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