From f2b6e43d59caa68f139a768219fae17e9c4369a1 Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Thu, 14 Dec 2023 13:22:50 -0700
Subject: [PATCH] div zero

---
 src/Core/Examples.hs | 7 +++++++
 tst/GMSpec.hs        | 3 +++
 2 files changed, 10 insertions(+)

diff --git a/src/Core/Examples.hs b/src/Core/Examples.hs
index 3717331..b28bc00 100644
--- a/src/Core/Examples.hs
+++ b/src/Core/Examples.hs
@@ -7,6 +7,7 @@ Description : Core examples (may eventually be unit tests)
 module Core.Examples
     ( fac3
     , sumList
+    , constDivZero
     ) where
 ----------------------------------------------------------------------------------
 import Core.Syntax
@@ -174,6 +175,12 @@ sumList = [coreProg|
         main = sum list;
     |]
 
+constDivZero :: Program'
+constDivZero = [coreProg|
+        k x y = x;
+        main = k 3 ((/#) 1 0);
+    |]
+
 corePrelude :: Module Name
 corePrelude = Module (Just ("Prelude", [])) $
     -- non-primitive defs
diff --git a/tst/GMSpec.hs b/tst/GMSpec.hs
index befa76b..125bb58 100644
--- a/tst/GMSpec.hs
+++ b/tst/GMSpec.hs
@@ -33,3 +33,6 @@ spec = do
         it "sum [1,2,3]" $ do
             resultOf Ex.sumList `shouldBe` Just (NNum 6)
 
+        it "k 3 ((/#) 1 0)" $ do
+            resultOf Ex.constDivZero `shouldBe` Just (NNum 3)
+