diff options
Diffstat (limited to 'stdlib/char.ml')
| -rw-r--r-- | stdlib/char.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/char.ml b/stdlib/char.ml index deb477cb0..2d5bb2458 100644 --- a/stdlib/char.ml +++ b/stdlib/char.ml @@ -14,10 +14,12 @@ (* Character operations *) external code: char -> int = "%identity" +external int_of_char: char -> int = "%identity" external unsafe_chr: int -> char = "%identity" let chr n = if n < 0 or n > 255 then invalid_arg "Char.chr" else unsafe_chr n +let char_of_int = chr external is_printable: char -> bool = "is_printable" |