@@ -231,7 +231,7 @@ any = Native.String.any
232 all isDigit "90210" == True
232 all isDigit "90210" == True
233 all isDigit "R2-D2" == False
233 all isDigit "R2-D2" == False
234− any isDigit "heart" == False
234+ all isDigit "heart" == False
236all : (Char -> Bool) -> String -> Bool
236all : (Char -> Bool) -> String -> Bool
237all = Native.String.all
237all = Native.String.all