diff options
Diffstat (limited to 'app/Code.hs')
| -rw-r--r-- | app/Code.hs | 7 |
1 files changed, 5 insertions, 2 deletions
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) |
