diff options
| author | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-12 19:02:45 +0100 |
|---|---|---|
| committer | Mirek Kratochvil <exa.exa@gmail.com> | 2022-11-12 19:02:45 +0100 |
| commit | e248226f442f289f3b7399411cdfd127a0de4d1a (patch) | |
| tree | 7dfbc33f3e49cf51f8f4616a245f633401326529 /app/Interpreter.hs | |
| parent | a736c1e7b727876b0b05f0b413e2c914437df13a (diff) | |
| download | prlg-e248226f442f289f3b7399411cdfd127a0de4d1a.tar.gz prlg-e248226f442f289f3b7399411cdfd127a0de4d1a.tar.bz2 | |
o hello prlg
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 |