[m-rev.] for review: delete RTTI predicates from std_util

Julien Fischer juliensf at cs.mu.OZ.AU
Thu Mar 16 17:11:58 AEDT 2006


On Thu, 16 Mar 2006, Zoltan Somogyi wrote:

> Remove from std_util.m the predicates that merely call predicates in
> the type_desc, construct and deconstruct modules, to reduce clutter
> in std_util.m.

This should be mentioned in the NEWS file.

> library/std_util.m:
> 	Remove those predicates from std_util.m.
>
> library/deconstruct.m:
> 	Add a type we need that was previously defined in std_util.m.
>
> library/construct.m:
> 	Delete some module qualifications that have now become unnecessary,
>
> browser/browse.m:
> browser/browser_info.m:
> browser/declarative_tree.m:
> browser/dl.m:
> browser/help.m:
> browser/sized_pretty.m:
> browser/term_rep.m:
> compiler/bytecode_gen.m:
> compiler/llds_out.m:
> compiler/mlds_to_il.m:
> compiler/mlds_to_managed.m:
> library/assoc_list.m:
> library/hash_table.m:
> library/io.m:
> library/pprint.m:
> library/private_builtin.m:
> library/prolog.m:
> library/require.m:
> library/rtti_implementation.m:
> library/store.m:
> library/term.m:
> library/term_to_xml.m:
> library/version_hash_table.m:
> mdbcomp/program_representation.m:
> 	Import type_desc.m, construct.m and/or deconstruct.m to provide
> 	definitions of functions or predicates that up till now were in
> 	std_util.m. Modify the calls if the called function or predicate
> 	had a slightly different interface in std_util.m.
>
> 	Also, convert term_to_xml.m to four-space indentation, and delete
> 	unnecessary module qualifications in term.m.

That looks fine.

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



More information about the reviews mailing list