diff options
Diffstat (limited to 'app/Code.hs')
| -rw-r--r-- | app/Code.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/app/Code.hs b/app/Code.hs index 3488f0b..94e8ce3 100644 --- a/app/Code.hs +++ b/app/Code.hs @@ -6,9 +6,9 @@ import IR (Id(..)) data Datum = Atom Int -- unifies a constant | Struct Id -- unifies a structure with arity - | VoidRef -- unifies with anything - | LocalRef Int -- code-local variable idx (should not occur on heap) - | HeapRef Int -- heap structure idx + | VoidRef (Maybe Int) -- unifies with anything (references may refer to variable names) + | LocalRef Int (Maybe Int) -- code-local variable idx (should not occur on heap) + | HeapRef Int (Maybe Int) -- heap structure idx deriving (Show, Eq, Ord) data Instr |