@@ -7,7 +7,7 @@ import Prelude.List
7import Prelude.Cast
7import Prelude.Cast
8import Builtins
8import Builtins
10−||| Return the ASCII representation of the character.
10+||| Convert the number to its ASCII equivalent.
11chr : Int -> Char
11chr : Int -> Char
12chr x = if (x >= 0 && x < 0x110000)
12chr x = if (x >= 0 && x < 0x110000)
13 then assert_total (prim__intToChar x)
13 then assert_total (prim__intToChar x)
@@ -16,7 +16,7 @@ chr x = if (x >= 0 && x < 0x110000)
16instance Cast Int Char where
16instance Cast Int Char where
17 cast = chr
17 cast = chr
19−||| Convert the number to its ASCII equivalent.
19+||| Return the ASCII representation of the character.
20ord : Char -> Int
20ord : Char -> Int
21ord x = prim__charToInt x
21ord x = prim__charToInt x