msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

div zero

Browse Source
This commit is contained in:
crumbtoo
2023-12-14 13:22:50 -07:00
parent 5ea629a439
commit f2b6e43d59
2 changed files with 10 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/Core/Examples.hs
View File

@@ -7,6 +7,7 @@ Description : Core examples (may eventually be unit tests)
module Core.Examples module Core.Examples
( fac3 ( fac3
, sumList , sumList
, constDivZero
) where ) where
---------------------------------------------------------------------------------- ----------------------------------------------------------------------------------
import Core.Syntax import Core.Syntax
@@ -174,6 +175,12 @@ sumList = [coreProg|
main = sum list; main = sum list;
|] |]
constDivZero :: Program'
constDivZero = [coreProg|
k x y = x;
main = k 3 ((/#) 1 0);
|]
corePrelude :: Module Name corePrelude :: Module Name
corePrelude = Module (Just ("Prelude", [])) $ corePrelude = Module (Just ("Prelude", [])) $
-- non-primitive defs -- non-primitive defs

3
tst/GMSpec.hs
View File

@@ -33,3 +33,6 @@ spec = do
it "sum [1,2,3]" $ do it "sum [1,2,3]" $ do
resultOf Ex.sumList `shouldBe` Just (NNum 6) resultOf Ex.sumList `shouldBe` Just (NNum 6)
it "k 3 ((/#) 1 0)" $ do
resultOf Ex.constDivZero `shouldBe` Just (NNum 3)