@@ -7,7 +7,7 @@ import Prelude.List
77import Prelude.Cast
88import Builtins
99
10−||| Return the ASCII representation of the character.
10+||| Convert the number to its ASCII equivalent.
1111chr : Int -> Char
1212chr x = if (x >= 0 && x < 0x110000)
1313 then assert_total (prim__intToChar x)
@@ -16,7 +16,7 @@ chr x = if (x >= 0 && x < 0x110000)
1616instance Cast Int Char where
1717 cast = chr
1818
19−||| Convert the number to its ASCII equivalent.
19+||| Return the ASCII representation of the character.
2020ord : Char -> Int
2121ord x = prim__charToInt x
2222