diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2023-03-04 22:46:07 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2023-03-04 22:46:07 +0100 |
| commit | 45c3f81891837820aea7c3dbd45e3bae25fc4c22 (patch) | |
| tree | 1d4619f1d6cb39cb6505f6056ec8b9f6d6aef727 /app/Code.hs | |
| parent | 336feaeba099086eec2a7853b3b3e9fc9a822c64 (diff) | |
| download | prlg-45c3f81891837820aea7c3dbd45e3bae25fc4c22.tar.gz prlg-45c3f81891837820aea7c3dbd45e3bae25fc4c22.tar.bz2 | |
small things
Diffstat (limited to 'app/Code.hs')
| -rw-r--r-- | app/Code.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/app/Code.hs b/app/Code.hs index 684686f..b60ab66 100644 --- a/app/Code.hs +++ b/app/Code.hs @@ -51,7 +51,8 @@ data Cho = , _retcut :: Bool -- cut after this goal succeeds , _heap :: Heap -- a snapshot of the heap (there's no trail; we rely on CoW copies in other choicepoints) , _stk :: [(Code, Scope, [Cho], Bool)] -- remaining goals together with their vars, cuts, and ret-cut flag - , _cut :: [Cho] -- snapshot of choicepoints before entering + , _cut :: [Cho] -- snapshot of choicepoints before entering the goal + , _hcut :: [Cho] -- save of choicepoints just before starting to match head } deriving (Show) |