Moved to directory, added test program

1 files changed, 0 insertions, 31 deletions

diff --git a/Def.dcl b/Def.dcl
deleted file mode 100644
index db2c0c0..0000000
--- a/Def.dcl
+++ /dev/null
@@ -1,31 +0,0 @@
-definition module ABC.Def
-
-from ABC.AStack import ::AStack
-from ABC.BStack import ::BStack
-from ABC.CStack import ::CStack
-from ABC.GraphStore import ::GraphStore, ::DescStore
-from ABC.Program import ::ProgramStore
-from ABC.IO import ::IO
-
-:: State = { astack     :: AStack
-           , bstack     :: BStack
-           , cstack     :: CStack
-           , graphstore :: GraphStore
-           , descstore  :: DescStore
-           , pc         :: InstrId
-           , program    :: ProgramStore
-           , io         :: IO
-           }
-
-:: NodeId  :== Int
-:: NrArgs  :== Int
-:: ArgNr   :== Int
-:: DescId  :== Int
-:: InstrId :== Int
-:: Name    :== String
-:: Arity   :== Int
-
-:: Instruction :== State -> State
-
-:: APEntry :== InstrId
-:: Args    :== [NodeId]