Pretty: specialize integer comparison

Esse commit está contido em:
Frédéric Bour 2020-05-20 17:57:39 +02:00 commit de Frédéric Bour
commit 7faf6d86c5
1 arquivos alterados com 2 adições e 2 exclusões

Ver arquivo

@ -271,8 +271,8 @@ let rec pretty_flat = function
this ugly 100-lines long implementation.
*)
let maxi i j = if i < j then j else i
let mini i j = if i < j then i else j
let maxi i j : int = if i < j then j else i
let mini i j : int = if i < j then i else j
let (+++) i j = let result = i + j in if result < 0 then max_int else result
let nonflat_line ui =