From 0bde837174fcb9c17cb3adbf6bc3c7407cab10df Mon Sep 17 00:00:00 2001 From: Matthew Hall Date: Wed, 22 Feb 2023 21:42:36 +1300 Subject: Proctables are now maps --- DSL/Types.hs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'DSL/Types.hs') 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 -- cgit v1.2.1