diff options
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) |