summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMirek Kratochvil <exa.exa@gmail.com>2023-01-07 18:12:46 +0100
committerMirek Kratochvil <exa.exa@gmail.com>2023-01-07 18:12:46 +0100
commite39beb25ec89bf383d254360da688bce0f5ea592 (patch)
treee5a4e032cd872db789fe7ab573b2e280de02f7ef
parentd50ec6414ac487ad057bbcd5644ca6bf370183fc (diff)
downloadprlg-e39beb25ec89bf383d254360da688bce0f5ea592.tar.gz
prlg-e39beb25ec89bf383d254360da688bce0f5ea592.tar.bz2
ensure BS doesn't get into goal code
-rw-r--r--app/Compiler.hs3
1 files changed, 2 insertions, 1 deletions
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."