From 29f193c8e07e4623913fd2275b303b244f6b7ede Mon Sep 17 00:00:00 2001 From: crumbtoo Date: Wed, 22 Nov 2023 16:10:56 -0700 Subject: [PATCH] use overloadedstrings in coreprelude --- src/Core/Examples.hs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/Core/Examples.hs b/src/Core/Examples.hs index df3701b..4a72ad6 100644 --- a/src/Core/Examples.hs +++ b/src/Core/Examples.hs @@ -84,16 +84,16 @@ pairExample = [coreProg| 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 "id" ["x"] $ "x" + , ScDef "k" ["x", "y"] $ "x" + , ScDef "k1" ["x", "y"] $ "y" + , ScDef "succ" ["f", "g", "x"] $ "f" :$ "x" :$ ("g" :$ "x") + , ScDef "compose" ["f", "g", "x"] "f" :$ ("g" :$ "x") + , ScDef "twice" ["f", "x"] $ "f" :$ ("f" :$ "x") , ScDef "False" [] $ Con 0 0 , ScDef "True" [] $ Con 1 0 , ScDef "MkPair" [] $ Con 1 2 - -- , ScDef "fst" ["p"] $ "casePair#" :$ "p" :$ "k" - -- , ScDef "snd" ["p"] $ "casePair#" :$ "p" :$ "k1" + , ScDef "fst" ["p"] $ "casePair#" :$ "p" :$ "k" + , ScDef "snd" ["p"] $ "casePair#" :$ "p" :$ "k1" ]