diff options
Diffstat (limited to 'DSL/Types.hs')
| -rw-r--r-- | DSL/Types.hs | 6 |
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 |
