@@ -348,10 +348,10 @@ toUpper x with (strM x)
348parseInt : String -> Maybe Int
348parseInt : String -> Maybe Int
349parseInt s with (strM s)
349parseInt s with (strM s)
350 parseInt "" | StrNil = Nothing
350 parseInt "" | StrNil = Nothing
351− parseInt (strCons x xs) | (StrCons x xs) = parseIntAux (unpack xs) (ord x - 48) where
351+ parseInt (strCons x xs) | (StrCons x xs) = parseIntAux (unpack xs) (ord x - ord '0') where
352 parseIntAux : (List Char) -> Int -> Maybe Int
352 parseIntAux : (List Char) -> Int -> Maybe Int
353 parseIntAux [] acc = Just acc
353 parseIntAux [] acc = Just acc
354− parseIntAux (c :: cs) acc = if (c >= '0' && c <= '9') then parseIntAux cs ((acc * 10) + (ord c) - 48)
354+ parseIntAux (c :: cs) acc = if (c >= '0' && c <= '9') then parseIntAux cs ((acc * 10) + (ord c) - (ord '0'))
355 else Nothing
355 else Nothing
357--------------------------------------------------------------------------------
357--------------------------------------------------------------------------------