[m-dev.] proposal for promise_pure scope warning

[Julien Fischer]

On Wed, 16 Apr 2008, Ian MacLarty wrote:

>
> You suggested that a generated solver type cast function might
> actually be pure, even though it is generated impure, but how common
> is that case?

Not that common, but then calls to the generated cast functions are
fairly uncommon in general.

Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------