diff options
| author | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-01-04 17:14:09 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <miroslav.kratochvil@uni.lu> | 2023-01-04 17:14:09 +0100 |
| commit | 1f424d332ec56c8598c89feb2b36f66d98bfc412 (patch) | |
| tree | 43900ebd091673664859a008ef2bf6f5fc2e1b4f /app/Code.hs | |
| parent | 3cc35a9414a8ba102a63af64bc5647ea75bc10b2 (diff) | |
| download | prlg-1f424d332ec56c8598c89feb2b36f66d98bfc412.tar.gz prlg-1f424d332ec56c8598c89feb2b36f66d98bfc412.tar.bz2 | |
ops op
Diffstat (limited to 'app/Code.hs')
| -rw-r--r-- | app/Code.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/Code.hs b/app/Code.hs index 5ac4ce7..df2e5c7 100644 --- a/app/Code.hs +++ b/app/Code.hs @@ -60,6 +60,7 @@ data Interp = , cur :: Cho -- the choice that is being evaluated right now , cho :: [Cho] -- remaining choice points , ops :: Ops -- currently defined operators + , opstash :: [Ops] -- saved operators , strtable :: StrTable -- string table } deriving (Show) |