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

Ralph Becket rafe at cs.mu.OZ.AU
Thu Feb 5 12:29:10 AEDT 2004

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?

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

More information about the developers mailing list