[m-rev.] trivial diff: fix determinism warnings

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

library/rtti_implementation.m:
	Fix determinism warnings in Pete's last change.

Index: rtti_implementation.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/rtti_implementation.m,v
retrieving revision 1.25
diff -u -u -r1.25 rtti_implementation.m
--- rtti_implementation.m	28 Nov 2002 07:26:08 -0000	1.25
+++ rtti_implementation.m	28 Nov 2002 15:08:51 -0000
@@ -823,8 +823,11 @@
 #endif
 ").
 high_level_data :-
-	std_util__semidet_succeed,
-	private_builtin__sorry("high_level_data").
+	( std_util__semidet_succeed ->
+		private_builtin__sorry("high_level_data")
+	;
+		std_util__semidet_succeed
+	).
 
 :- pred get_arg_type_info(type_info::in, P::in, T::in,
 	du_functor_descriptor::in, type_info::out) is det.
@@ -1262,7 +1265,7 @@
 		(exist_info::out) is semidet.
 
 functor_exist_info(X::in) = (unsafe_cast(X)::out) :- 
-	det_unimplemented("functor_exist_info").
+	semidet_unimplemented("functor_exist_info").
 
 :- pragma foreign_proc("C#",
 	functor_exist_info(FunctorDescriptor::in) = (ExistInfo::out),
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------