[m-dev.] Question about WAM style variables in Mercury

[Ralph Becket]

For adding Herbrand types to the language, it would be good if WAM style
variables didn't require heap allocation, but instead just formed direct
pointer chains.

However, this would mean having pointers to the interior of cells rather
than the start of a cell.

Question: is this a major no-no?  In other words, is it necessary that
WAM style variables be allocated on the heap?

Ta,
-- 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
--------------------------------------------------------------------------