💚 🎉 test 11 passing

test/mam.sh

@@ -80,10 +80,13 @@ function mam_test() {
 }
 
 @test "mam::test11" {
-  skip
   mam_test "test/mamarracho/test11"
 }
 
+@test "mam::test11.1" {
+  mam_test "test/mamarracho/test11.1"
+}
+
 @test "mam::test12" {
   skip
   mam_test "test/mamarracho/test12"

test/mamarracho/test11.1.expected

@@ -0,0 +1 @@
+TEST 32|O

test/mamarracho/test11.1.flecha

@@ -0,0 +1,62 @@
+def test numero fn valor =
+  unsafePrintChar 'T';
+  unsafePrintChar 'E';
+  unsafePrintChar 'S';
+  unsafePrintChar 'T';
+  unsafePrintChar ' ';
+  unsafePrintInt numero;
+  unsafePrintChar '|';
+  fn valor;
+  unsafePrintChar '\n'
+
+def zero     z f   = z
+def suc      n z f = f (n z f)
+def foldn    z f n = n z f
+def const x y = x
+
+def n0 = zero
+def n1 = suc n0
+def n2 = suc n1
+def n3 = suc n2
+
+def compose f g x = f (g x)
+
+def true   x y  = x
+def false  x y  = y
+def cond  x y z = x y z
+
+def nil   z  f     = z
+def cons  x xs z f = f x (xs z f)
+
+def pair x y f = f x y
+def fst p = p true
+def snd p = p false
+
+def foldr z f lst  = lst z f
+def null = foldr true (compose const const false)
+
+def tail lst =
+  snd (foldr (pair nil nil)
+             (\ x r -> pair (cons x (fst r)) (fst r))
+             lst)
+
+def length lst = length_ lst '_'
+def length_ lst =
+  cond (null lst)
+       (\ u -> n0)
+       (\ u -> suc (length_ (tail lst) '_'))
+
+def printNat n = 
+  foldn (\ u   -> unsafePrintChar 'O')
+        (\ r u -> (unsafePrintChar 'S'; r u))
+        n
+        '_'
+
+def main =
+  let l0 = nil in
+  let l1 = cons n1 nil in
+  let l2 = cons n1 (cons n2 nil) in
+  let l3 = cons n1 (cons n2 (cons n3 nil)) in
+  let ll = cons l3 (cons l2 (cons l1 nil)) in
+    test 32 printNat  (length l0)
+