[m-rev.] diff/for review: fix library compilation error in non-C grades

[Julien Fischer]

On Thu, 16 Dec 2004, Ralph Becket wrote:

> Julien Fischer, Thursday, 16 December 2004:
> >
> > Index: type_desc.m
> > ===================================================================
> > RCS file: /home/mercury1/repository/mercury/library/type_desc.m,v
> > retrieving revision 1.28
> > diff -u -r1.28 type_desc.m
> > --- type_desc.m	14 Dec 2004 01:07:21 -0000	1.28
> > +++ type_desc.m	16 Dec 2004 03:45:50 -0000
> > @@ -210,6 +210,7 @@
> >
> >  :- import_module bool, string, require.
> >  :- use_module    rtti_implementation.
> > +:- use_module	 std_util.
> >
> >  :- pragma foreign_decl("C", "
> >  #include ""mercury_heap.h""	/* for MR_incr_hp_msg() etc. */
> > @@ -334,7 +335,7 @@
> >  is_univ_pseudo_type_desc(_PseudoTypeDesc, -1) :-
> >  	% The backends in which we use this definition of this predicate
> >  	% don't yet support pseudo_type_descs.
> > -	semidet_fail.
> > +	std_util.semidet_fail.
>
> Why would you module qualify semidet_fail?
>
Because I imported using :- use_module rather than :- import_module
and you have to in that case.  Importing the other way leads to lots
of type ambiguities between std_util and type_desc and I really didn't
want to go around module qualifying lots of things.

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------