summaryrefslogtreecommitdiff
path: root/DSL/Types.hs
diff options
context:
space:
mode:
Diffstat (limited to 'DSL/Types.hs')
-rw-r--r--DSL/Types.hs6
1 files changed, 5 insertions, 1 deletions
diff --git a/DSL/Types.hs b/DSL/Types.hs
index 431a361..7467bfd 100644
--- a/DSL/Types.hs
+++ b/DSL/Types.hs
@@ -1,5 +1,7 @@
module DSL.Types where
+import Data.Map.Strict (Map(..))
+
import DSL.BaseParsers (Parser(..))
data StackData
@@ -65,11 +67,13 @@ data Block
type ProcSpec = (ProcName, [Block])
+type ProcTable = Map ProcName [Block]
+
type Program = [Block]
data Machine = Machine { ok :: Bool
, stack :: Stack
- , pTable :: [(ProcName, [Block])]
+ , pTable :: ProcTable
}
data TokenTag