[m-dev.] Polymorphic modes

[Ralph Becket]

> Another problem is that currently it is unsound, due to RTTI
> (std_util__construct, io__read and the like): using polymorphic modes
> and RTTI, you can write programs that will seg fault.

Can you be more precise?

Is it the case that calls to io__read etc. in a context using
polymorphic
modes will segfault or can this happen even outside a polymorphic mode
context?

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