diff options
Diffstat (limited to 'app/Code.hs')
| -rw-r--r-- | app/Code.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/app/Code.hs b/app/Code.hs index 5721d17..df3401e 100644 --- a/app/Code.hs +++ b/app/Code.hs @@ -9,9 +9,9 @@ import System.Console.Haskeline data Datum = Atom Int -- unifies a constant | Struct Id -- unifies a structure with arity - | 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 + | VoidRef -- unifies with anything + | LocalRef Int Int -- code-local variable idx (should never occur on heap) + | HeapRef Int -- something further on the heap deriving (Show, Eq, Ord) data Instr @@ -34,7 +34,7 @@ data Heap = emptyHeap = Heap 0 M.empty -type Scope = M.Map Int Int +type Scope = M.Map Int (Int, Int) emptyScope :: Scope emptyScope = M.empty |