GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

'reset' for delimited continuations

Browse Source
This commit is contained in:
Krasimir Angelov
2024-03-15 09:11:26 +01:00
parent 1fd0e9d8e2
commit 614f4b2dc9
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/compiler/api/GF/Compile/Compute/Concrete.hs
View File

@@ -6,7 +6,7 @@ module GF.Compile.Compute.Concrete
( normalForm, normalStringForm
, Value(..), Thunk, ThunkState(..), Env, Scope, showValue
, MetaThunks, Constraint, Globals(..), ConstValue(..)
, EvalM(..), runEvalM, runEvalOneM, evalError, evalWarn
, EvalM(..), runEvalM, runEvalOneM, reset, evalError, evalWarn
, eval, apply, force, value2term, patternMatch, stdPredef
, unsafeIOToEvalM
, newThunk, newEvaluatedThunk
@@ -755,6 +755,13 @@ runEvalOneM gr f = Check $ \(es,ws) ->
Success [] ws -> Fail (pp "The evaluation produced no results") (es,ws)
Success (x:_) ws -> Success x (es,ws)
reset :: EvalM s a -> EvalM s [a]
reset (EvalM f) = EvalM $ \gl k mt d r ws -> do
res <- f gl (\x mt d xs ws -> return (Success (x:xs) ws)) mt d [] ws
case res of
Fail msg ws -> return (Fail msg ws)
Success xs ws -> k (reverse xs) mt d r ws
evalError :: Message -> EvalM s a
evalError msg = EvalM (\gr k _ _ r msgs -> return (Fail msg msgs))