List example

SophieBosio · Apr 30, 2024 · d83c14a · d83c14a
1 parent 5dba64e
commit d83c14a
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/examples/lists.con b/examples/lists.con
@@ -0,0 +1,11 @@
+adt IntegerList = Nil | Cons Integer IntegerList .
+
+adt Pair = Pair IntegerList Integer .
+
+length :: IntegerList -> Integer .
+length list =
+  rec pair ->
+    (case pair of
+      ; Pair {Nil,         acc} -> acc
+      ; Pair {Cons n rest, acc} -> count rest (acc + 1))
+  (Pair list 0) .
diff --git a/examples/test/functionApplication.con b/examples/test/functionApplication.con
@@ -10,6 +10,6 @@ plusOneTwiceGt x =*= (plusOne (plusOne x)) > x .
 plus :: Integer -> Integer -> Integer .
 plus x y = x + y .
 
-plusCommutative :: Integer -> Integer -> Boolean .
-plusCommutative x y =*= (plus x y) > (plus y x) .
+wrongPlusCommutative :: Integer -> Integer -> Boolean .
+wrongPlusCommutative x y =*= (plus x y) > (plus y x) .