@@ -348,10 +348,10 @@ toUpper x with (strM x)
348348parseInt : String -> Maybe Int
349349parseInt s with (strM s)
350350 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
352352 parseIntAux : (List Char) -> Int -> Maybe Int
353353 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'))
355355 else Nothing
356356
357357--------------------------------------------------------------------------------