Merge pull request #2596 from Melvar/fix-chr
Make chr check for the correct range
commit0600e99ee9f7be1052a2d641af1bfedf60dec94b
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 9 Sep 2015, 08:22 (11 years ago)
parent1f8944f52dd309
libs/prelude/Prelude/Chars.idr+1−1
@@ -9,7 +9,7 @@ import Builtins
99
1010||| Return the ASCII representation of the character.
1111chr : Int -> Char
12−chr x = if (x >= 0 && x < 0x11000)
12+chr x = if (x >= 0 && x < 0x110000)
1313 then assert_total (prim__intToChar x)
1414 else '\0'
1515