[m-dev.] for review: hand defined types

[Tyson Dowd]

On 08-Feb-2000, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> For review by Tyson or Fergus.
> 
> Remove almost all references to type_id_is_hand_defined, because it makes
> bootstrapping hard. Instead, consider that a type is hand defined if it is
> abstract even in the module that defines it, or if it appears on a short
> list of types which have hand-defined RTTI even though they have (incorrect)
> Mercury definitions as well. The list contains private_builtin's type_info,
> type_ctor_info, typeclass_info and base_typeclass_info.
> 
> The one remaining use of type_id_is_hand_defined should be fixed by Fergus
> later.
> 
> compiler/base_type_info.m:
> compiler/base_type_layout.m:
> compiler/make_hlds.m:
> 	Remove references to type_id_is_hand_defined.
> 
> compiler/type_util.m:
> 	Add a predicate type_id_has_hand_defined_rtti that should eventually
> 	replace type_id_is_hand_defined.

This change looks fine, although the comment says
type_id_is_hand_defined is already obsolete whereas the log message says
it will eventually become obsolete.  I don't think this will cause
anyone any trouble.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------