[m-dev.] RTTI diff committed

[Zoltan Somogyi]

I have just committed the RTTI cleanup diff. This has two effects you needs to
be aware of.

First: if you update your runtime before the installed compiler gets updated,
you will get warnings from the C compiler about "initialization from
incompatible pointer type". Ignore them. The old compiler is casting away const
because the old type declaration was non-const; the new declaration in the
runtime is const, hence the warning. The new compiler does not generate the
cast, so the warning will go away when the installed compiler is updated.

Second and more important, this diff changes the binary compatibility version
number. This means that when the installed compiler is updated, you will need
to do a make realclean in all your workspaces, and rebuild them from scratch.

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