[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