From 84847b9abb33f8427e1b50b1a0605257c42acf17 Mon Sep 17 00:00:00 2001 From: sebastianselander Date: Mon, 8 May 2023 20:38:45 +0200 Subject: [PATCH] printChar and printStr in prelude --- src/Main.hs | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/Main.hs b/src/Main.hs index ad7d335..fba8d40 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -197,4 +197,13 @@ prelude = , " False => True" , " _ => False" , " False => False" + , "data Unit where" + , " Unit : Unit" + , "\n" + , "printChar : Char -> Unit" + , "printChar = \\x. Unit" + , "\n" + , "printStr xs = case xs of" + , " Nil => Nil" + , " Cons x xs => Cons (print x) (printStr xs)" ]