From 055fbfd40c57be13954de3976d56293ec1a50ffb Mon Sep 17 00:00:00 2001
From: crumbtoo <crumb@disroot.org>
Date: Thu, 8 Feb 2024 14:02:03 -0700
Subject: [PATCH] .hs -> .cr

update examples
---
 examples/{constDivZero.hs => constDivZero.cr} |  0
 examples/{factorial.hs => factorial.cr}       |  0
 examples/sumList.cr                           | 12 ++++++++++++
 examples/sumList.hs                           |  9 ---------
 4 files changed, 12 insertions(+), 9 deletions(-)
 rename examples/{constDivZero.hs => constDivZero.cr} (100%)
 rename examples/{factorial.hs => factorial.cr} (100%)
 create mode 100644 examples/sumList.cr
 delete mode 100644 examples/sumList.hs

diff --git a/examples/constDivZero.hs b/examples/constDivZero.cr
similarity index 100%
rename from examples/constDivZero.hs
rename to examples/constDivZero.cr
diff --git a/examples/factorial.hs b/examples/factorial.cr
similarity index 100%
rename from examples/factorial.hs
rename to examples/factorial.cr
diff --git a/examples/sumList.cr b/examples/sumList.cr
new file mode 100644
index 0000000..00b3659
--- /dev/null
+++ b/examples/sumList.cr
@@ -0,0 +1,12 @@
+{-# PackData Nil  0 0 #-}
+{-# PackData Cons 1 2 #-}
+
+foldr f z l = case l of
+    { Nil       -> z
+    ; Cons x xs -> f x (foldr f z xs)
+    };
+
+list = Cons 1 (Cons 2 (Cons 3 Nil));
+
+main = foldr (+#) 0 list;
+
diff --git a/examples/sumList.hs b/examples/sumList.hs
deleted file mode 100644
index 5193a67..0000000
--- a/examples/sumList.hs
+++ /dev/null
@@ -1,9 +0,0 @@
-nil = Pack{0 0};
-cons x y = Pack{1 2} x y;
-list = cons 1 (cons 2 (cons 3 nil));
-sum l = case l of
-    { <0>      -> 0
-    ; <1> x xs -> (+#) x (sum xs)
-    };
-main = sum list;
-