From 9d7868431792dcd94ec71adb9f95f55ab4bf027d Mon Sep 17 00:00:00 2001 From: Mirek Kratochvil Date: Sat, 12 Nov 2022 23:25:50 +0100 Subject: reorg 1 --- app/Code.hs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'app/Code.hs') diff --git a/app/Code.hs b/app/Code.hs index 53d2e8f..00d1d1c 100644 --- a/app/Code.hs +++ b/app/Code.hs @@ -1,7 +1,8 @@ module Code where import qualified Data.Map as M -import IR (Id(..)) +import IR (Id(..), StrTable) +import Operators (Ops) data Datum = Atom Int -- unifies a constant @@ -56,8 +57,10 @@ data Cho = data Interp = Interp - { defs :: Defs -- global definitions for lookup (TODO can we externalize?) + { defs :: Defs -- global definitions for lookup , cur :: Cho -- the choice that is being evaluated right now , cho :: [Cho] -- remaining choice points + , ops :: Ops -- currently defined operators + , strtable :: StrTable -- string table } deriving (Show) -- cgit v1.2.3