From 6b72d08b9446a901d773ed7c1535a4e254ebdbf8 Mon Sep 17 00:00:00 2001 From: Samuel Hammersberg Date: Mon, 1 May 2023 11:09:23 +0200 Subject: [PATCH] Commented out `customHelperFunctionCuzPoorImplementation` as it is not needed with type annotations. --- src/Main.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Main.hs b/src/Main.hs index 95b33c3..7e703ba 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -168,12 +168,12 @@ prelude :: String prelude = unlines [ "\n" - , "customHelperFunctionCuzPoorImplementation : Bool () -> Int -> Bool ()" - , "customHelperFunctionCuzPoorImplementation 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 = customHelperFunctionCuzPoorImplementation True (x + y)" + , "lt x y = True" , "\n" ]