parse programs (with types :D)

2023-12-20 14:42:35 -07:00
parent fe90c9afb0
commit 5c9bf40e40
2 changed files with 9 additions and 13 deletions
--- a/src/Core/Examples.hs
+++ b/src/Core/Examples.hs
@@ -15,15 +15,6 @@ import Core.Syntax
 import Core.TH
 ----------------------------------------------------------------------------------

--
-fac3 = undefined
-sumList = undefined
-constDivZero = undefined
-idCase = undefined
--}
-
-{--
-
 letrecExample :: Program'
 letrecExample = [coreProg|
    pair x y f = f x y;
@@ -225,5 +216,3 @@ idCase = [coreProg|
 --         , ScDef "Cons" [] $ Con 2 2
 --         ]

--}
-