Commit acbe57f2 authored by Kunshan Wang's avatar Kunshan Wang

Global variables should be suitable for iref, too.

As long as the value has iref<T> type. i.e. it is a global cell.
parent d6f70396
......@@ -147,8 +147,9 @@ A *memory initialisation* initialises a memory location::
sub-class instances assignable to a location that refers to a super-class
instance.)
- If ``LValue`` is ``iref<T>``, then ``RValue`` can be ``NULL`` or an ``LValue``
(with the ``&`` sign). Implicit ``REFCAST`` applies.
- If ``LValue`` is ``iref<T>``, then ``RValue`` can be ``NULL``, the global name
of a global cell, or an ``LValue`` (with the ``&`` sign). Implicit ``REFCAST``
applies.
- If ``LValue`` is ``funcref<sig>``, then ``RValue`` can be ``NULL`` or the
global name of a Mu function. Implicit ``REFCAST`` applies.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment