@@ -123,7 +123,7 @@ length (x::xs) = 1 + length xs
125repeat : a -> List a
125repeat : a -> List a
126−repeat x = x :: repeat x
126+repeat x = x :: lazy (repeat x)
128%assert_total
128%assert_total
129replicate : Nat -> a -> List a
129replicate : Nat -> a -> List a