something strange

Author: MAnyKey

ITMOPrelude/IO.hs

@@ -26,4 +26,8 @@ putNat n = State putNat'
 setExitCode :: Nat -> IO ()
 setExitCode n = State setExitCode'
   where setExitCode' world = (newWorld, ())
-          where newWorld = RealWorld (stdIn world) (stdOut world) n
+          where newWorld = RealWorld (stdIn world) (stdOut world) n
+
+testInfinite :: List Nat -> IO ()
+testInfinite Nil = return ()
+testInfinite (Cons x xs) = putNat x >> testInfinite xs

ITMOPrelude/List.hs

@@ -232,3 +232,8 @@ zipWith :: (a -> b -> c) -> List a -> List b -> List c
 zipWith f (Cons x xs) (Cons y ys) = (f x y) `Cons` (zipWith f xs ys)
 zipWith f Nil ys = Nil
 zipWith f xs Nil = Nil
+
+iterate f x = x `Cons` iterate' x
+  where iterate' x = x  `Cons` (iterate' $ f x)
+
+nats = iterate Succ Zero