git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2596 from Melvar/fix-chr
0600e99David Christiansen
libs/prelude/Prelude/Chars.idr+1−1
compare with master
unifiedsplit
@@ -9,7 +9,7 @@ import Builtins
9
9
10||| Return the ASCII representation of the character.
10||| Return the ASCII representation of the character.
11chr : Int -> Char
11chr : Int -> Char
12−chr x = if (x >= 0 && x < 0x11000)
12+chr x = if (x >= 0 && x < 0x110000)
13 then assert_total (prim__intToChar x)
13 then assert_total (prim__intToChar x)
14 else '\0'
14 else '\0'
15
15