From e248226f442f289f3b7399411cdfd127a0de4d1a Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Sat, 12 Nov 2022 19:02:45 +0100
Subject: o hello prlg

---
 app/Interpreter.hs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'app/Interpreter.hs')

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
-- 
cgit v1.2.3