[m-rev.] diff: fix typos in std_util__get_functor_info

Fergus Henderson fjh at cs.mu.OZ.AU
Sat May 26 23:38:29 AEST 2001


Branches: main
Estimated hours taken: 0.25

library/std_util.m:
	Fix some typos in the pred declarations for pragma C procedures
	used by get_functor_info.  The types meant that these procedures
	were being declared as polymorphically typed when in fact they
	were monomorphically typed.

Workspace: /home/mars/fjh/ws1/mercury
Index: library/std_util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/std_util.m,v
retrieving revision 1.229
diff -u -d -r1.229 std_util.m
--- library/std_util.m	2001/05/14 13:24:50	1.229
+++ library/std_util.m	2001/05/26 13:33:15
@@ -3714,7 +3714,7 @@
     % Given a value of an arbitrary type, succeed if its type is defined
     % as a notag type, and return a univ which bundles up the value
     % with the type of the single function symbol of the notag type.
-:- pred get_notag_functor_info(Univ::in, ExpUniv::out) is semidet.
+:- pred get_notag_functor_info(univ::in, univ::out) is semidet.
 
 :- pragma foreign_proc("C", 
 	get_notag_functor_info(Univ::in, ExpUniv::out),
@@ -3765,7 +3765,7 @@
     % as an equivalence type, and return a univ which bundles up the value
     % with the equivalent type. (I.e. this removes one layer of equivalence
     % from the type stored in the univ.)
-:- pred get_equiv_functor_info(Univ::in, ExpUniv::out) is semidet.
+:- pred get_equiv_functor_info(univ::in, univ::out) is semidet.
 
 :- pragma foreign_proc("C",
 	get_equiv_functor_info(Univ::in, ExpUniv::out),
@@ -3809,7 +3809,7 @@
 
     % Given a value of an arbitrary type, succeed if it is an enum type,
     % and return the integer value corresponding to the value.
-:- pred get_enum_functor_info(Univ::in, Int::out) is semidet.
+:- pred get_enum_functor_info(univ::in, int::out) is semidet.
 
 :- pragma foreign_proc("C",
 	get_enum_functor_info(Univ::in, Enum::out),

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  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