[m-dev.] trivial diff: update list of std library modules

[Ralph Becket]

It seems a little odd to have library module names hard coded into the
compiler.  It looks like it's the MLDS that needs this info - is
mercury_std_library_module/1 just a workaround for some problem?

Ralph

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

> -----Original Message-----
> From: Fergus Henderson [mailto:fjh at cs.mu.OZ.AU]
> Sent: 15 May 2000 04:33
> To: mercury-developers at cs.mu.OZ.AU
> Subject: [m-dev.] trivial diff: update list of std library modules
> 
> 
> Estimated hours taken: 0.25
> 
> Fix a problem where the list of standard library modules was
> not being kept up-to-date.
> 
> compiler/modules.m:
> 	Add clauses for `pprint' and `counter' to the
> 	mercury_std_library_module predicate.
> 
> library/library.m:
> 	Add a comment mentioning that if you add a new module,
> 	you need to update mercury_std_library_module predicate.
> 	(Also delete an obsolete comment about `mnp').
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------