[m-dev.] for review: type specialization (relative) [1]

[David Glen JEFFERY]

On 20-Apr-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > +				UserTypeSpec = yes,
> > +				(
> > +					pred_info_get_markers(CalledPredInfo,
> > +						Markers),
> > +					check_marker(Markers, class_method)
> > +				;
> > +					pred_info_name(CalledPredInfo,
> > +						CalledPredName),
> > +					string__prefix(CalledPredName,
> > +						"Introduced_")
> > +				)
> 
> The hard-coded string "Introduced_" should be
> "Introduced_pred_for_", for consistency with the
> place where those prefixes are created.

Before this hard-coded string starts appearing in lots of places in the
compiler, perhaps now would be a good time to add a level of abstraction:

	:- pred  is_introduced_name(string::in) is semidet.

or something like that to check_typeclass.m


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Homer, is this how you pictured
PhD student,                    |         married life?
Dept. of Comp. Sci. & Soft. Eng.|  Homer: Yup, pretty much... except we
The University of Melbourne     |         drove around in a van solving
Australia                       |         mysteries.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------