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

prelude move

Browse Source
This commit is contained in:
crumbtoo
2023-11-22 15:59:05 -07:00
parent 8a051085c2
commit 06ad439e62
5 changed files with 25 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/Core/Syntax.hs
View File

@@ -10,7 +10,6 @@ module Core.Syntax
, ScDef(..)
, Module(..)
, Program(..)
, corePrelude
, bindersOf
, rhssOf
, isAtomic
@@ -139,18 +138,6 @@ isAtomic _ = False
----------------------------------------------------------------------------------
corePrelude :: Module
corePrelude = Module (Just ("Prelude", [])) $ Program
[ ScDef "id" ["x"] (Var "x")
, ScDef "k" ["x", "y"] (Var "x")
, ScDef "k1" ["x", "y"] (Var "y")
, ScDef "succ" ["f", "g", "x"] (Var "f" :$ Var "x" :$ (Var "g" :$ Var "x"))
, ScDef "compose" ["f", "g", "x"] (Var "f" :$ (Var "g" :$ Var "x"))
, ScDef "twice" ["f", "x"] (Var "f" :$ (Var "f" :$ Var "x"))
, ScDef "False" [] $ Con 0 0
, ScDef "True" [] $ Con 1 0
]
-- TODO: export list awareness
insertModule :: Module -> Program -> Program
insertModule (Module _ m) p = p <> m