diff options
Diffstat (limited to 'app/Interpreter.hs')
| -rw-r--r-- | app/Interpreter.hs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/app/Interpreter.hs b/app/Interpreter.hs index da00301..ebec859 100644 --- a/app/Interpreter.hs +++ b/app/Interpreter.hs @@ -215,6 +215,10 @@ proveStep c f i = go i } , cho = chos } + {- invoke a built-in (this gets replaced by NoGoal by default but the + - builtin can actually do whatever it wants with the code -} + | [Builtin (BuiltinFunc bf)] <- hed = + c (bf i {cur = cur {hed = [NoGoal]}}) {- top-level success -} | [NoGoal] <- hed , Just nchos <- tailcut gol chos cut |