non polymorphic

Author: bobzhang

jscomp/ext/ext_pervasives.ml

@@ -46,6 +46,9 @@ let with_file_as_chan filename f =
 let max_int (x : int) y =
     if x >= y then x else y
 
+let min_int (x : int) y = 
+  if x < y then x else y 
+  
 let max_int_option (x : int option) y = 
   match x, y with 
   | None, _ -> y 

jscomp/ext/ext_pervasives.mli

@@ -44,11 +44,9 @@ val finally :
 val with_file_as_chan : string -> (out_channel -> 'a) -> 'a
 
 
-
-
-
 val max_int : int -> int -> int 
 
+val min_int : int -> int -> int 
 val max_int_option : 
   int option -> 
   int option -> 

jscomp/ml/ctype.ml

@@ -2648,7 +2648,7 @@ and unify_row env row1 row2 =
   let more =
     if fixed1 then rm1 else
     if fixed2 then rm2 else
-    newty2 (min rm1.level rm2.level) (Tvar None) in
+    newty2 (Ext_pervasives.min_int rm1.level rm2.level) (Tvar None) in
   let fixed = fixed1 || fixed2
   and closed = row1.row_closed || row2.row_closed in
   let keep switch =