diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-12 23:25:50 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-12 23:25:50 +0100 |
| commit | 9d7868431792dcd94ec71adb9f95f55ab4bf027d (patch) | |
| tree | d5a9a371920edab2d7ddd00a6f87c8809dfb3221 /app/Code.hs | |
| parent | e248226f442f289f3b7399411cdfd127a0de4d1a (diff) | |
| download | prlg-9d7868431792dcd94ec71adb9f95f55ab4bf027d.tar.gz prlg-9d7868431792dcd94ec71adb9f95f55ab4bf027d.tar.bz2 | |
reorg 1
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) |