[m-dev.] for review: changes to MLDS

[Julien Fischer]

On Thu, 1 Feb 2001, Fergus Henderson wrote:

> > +++ compiler/mlds.m
> > @@ -550,10 +550,11 @@
> >  	;	mlds__rtti_type(rtti_name)
> >  
> >  		% A type used internally by the ML code generator to 
> > +		% for references to variables that have yet to be
> > +		% declared.  This occurs once in ml_code_util.m where
> > +		% references to env_ptr's are generated but the declaration
> > +		% of these env_ptr's does not occur until the ml_elim_nested
> > +		% pass.
> >  	;	mlds__unknown_type.
> 
> That's still misleading.  Saying "A type used internally by the ML code
> generator" implies that when the ML code generator is finished, there
> will be no occurences of that type.  But currently that's not the case.
> 
> also s/to for references/for references/

Is this any better?

		% A type used by the ML code generator for references 
		% to variables that have yet to be declared.  This occurs 
		% once in ml_code_util.m where references to env_ptr's are 
		% generated but the declaration of these env_ptr's does not 
		% occur until the ml_elim_nested pass.
Julien

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------