on master help sign in
Added support for more char primitives.
commitcfe6962230cd0ed2b6b4a5480eb4c2c8e95cb76c authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateWed 27 Nov 2013, 14:10 (13 years ago) parent1688c44
1 file changed+2−2
libs/prelude/Prelude/Chars.idr+2−2
libs/prelude/Prelude/Chars.idr+2−2
@@ -9,7 +9,7 @@ chr x = prim__intToChar x
99
1010-- | Convert the number to its ASCII equivalent.
1111ord : Char -> Int
12−ord x = prim__charToInt
12+ord x = prim__charToInt x
1313
1414-- | Returns true if the character is in the range [A-Z].
1515isUpper : Char -> Bool
@@ -64,6 +64,6 @@ isHexDigit x = elem (toUpper x) hexChars where
6464
6565-- | Returns true if the character is an octal digit.
6666isOctDigit : Char -> Bool
67−isOctDigit x = (x >= '0' && x <= '9')
67+isOctDigit x = (x >= '0' && x <= '7')
6868
6969-- --------------------------------------------------------------------- [ EOF ]