Merge pull request #9227 from yallop/bool-identity

Make Bool.to_int primitive.
2020-01-15 13:27:29 +01:00 · 2020-01-15 13:27:29 +01:00 · 390d4e3ce5
parent 09da7dd659 37a6919ae2
commit 390d4e3ce5
1 changed files with 1 additions and 1 deletions
--- a/stdlib/bool.ml
+++ b/stdlib/bool.ml
@ -20,7 +20,7 @@ external ( && ) : bool -> bool -> bool = "%sequand"
 external ( || ) : bool -> bool -> bool = "%sequor"
 let equal : bool -> bool -> bool = ( = )
 let compare : bool -> bool -> int = Stdlib.compare
-let to_int = function false -> 0 | true -> 1
+external to_int : bool -> int = "%identity"
 let to_float = function false -> 0. | true -> 1.

 (*