@@ -231,7 +231,7 @@ any = Native.String.any
231231
232232 all isDigit "90210" == True
233233 all isDigit "R2-D2" == False
234− any isDigit "heart" == False
234+ all isDigit "heart" == False
235235-}
236236all : (Char -> Bool) -> String -> Bool
237237all = Native.String.all