From 1723796006522aa5e6f725fb01eab9f909bbf3e8 Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Fri, 28 Apr 2023 14:01:05 +0200
Subject: [PATCH] renamed and fixed const in prelude

---
 src/Main.hs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/Main.hs b/src/Main.hs
index f16b29f..a916139 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -170,11 +170,12 @@ prelude :: String
 prelude =
     unlines
         [ "\n"
-        , "const : a -> b -> a"
-        , "const x y = x"
+        , "customHelperFunctionCuzPoorImplementation : Bool -> Int -> Bool"
+        , "customHelperFunctionCuzPoorImplementation x y = x"
         , "data Bool () where"
         , "    False : Bool ()"
         , "    True  : Bool ()"
         , "lt : Int -> Int -> Bool ()"
-        , "lt x y = const True (x + y)"
+        , "lt x y = customHelperFunctionCuzPoorImplementation True (x + y)"
+        , "\n"
         ]