[m-rev.] diff: (partially) fix library compiliation in grade java

[Ralph Becket]

Julien Fischer, Thursday, 28 April 2005:
> 
> Index: compiler/post_term_analysis.m
> ===================================================================
> @@ -117,10 +119,15 @@
>  warn_non_term_user_special_pred(ModuleInfo, TypeTable,
>  		SpecialPredId - TypeCtor, PredId, !IO) :-
>  	%
> -	% index predicate cannot be defined by the user and should
> -	% always terminate in any case.
> +	% index predicates cannot be defined by the user and should

s/index/Index/

> +	% always terminate in any case.  Do not perform this
> +	% check for builtin types that don't have hlds_type_defns.
>  	%

Otherwise, that's great.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------