[m-users.] Partial instantiation.

Julien Fischer jfischer at opturion.com
Fri Aug 7 20:05:01 AEST 2020


On Thu, 6 Aug 2020, maoko at riseup.net wrote:

> Hello. I'm new to Mercury and I'm wondering if the partial instantiation
> are still unsupported?

Yes, it's still unsupported.

> In the manual, it's written: Nevertheless, Mercury’s mode system is
> sufficiently expressive to handle more complex data-flow patterns,
> including those involving partially instantiated data structures i.e.
> data structures with “free” holes in them.
> (In the current implementation, partially instantiated data structures
> are unsupported due to a lack of alias tracking in
> the mode system. For more information, please see the ‘LIMITATIONS’
> file distributed with Mercury.)
> So far, I've played with partial instantiation and it's seemed to work.

Not by design; the description in the LIMITATIONS file is still current.


More information about the users mailing list