From e39beb25ec89bf383d254360da688bce0f5ea592 Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Sat, 7 Jan 2023 18:12:46 +0100
Subject: [PATCH] ensure BS doesn't get into goal code

---
 app/Compiler.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/app/Compiler.hs b/app/Compiler.hs
index c510535..849afdb 100644
--- a/app/Compiler.hs
+++ b/app/Compiler.hs
@@ -99,4 +99,5 @@ goal2struct x = x
 
 struct2goal :: PrlgInt -> PrlgInt
 struct2goal (AtomI s) = CallI s []
-struct2goal x = x
+struct2goal call@(CallI _ _) = call
+struct2goal _ = error "TODO."