sync Pervasives_mini

Author: cometkim

runtime/Pervasives_mini.res

@@ -13,7 +13,19 @@ external __LOC_OF__: 'a => (string, 'a) = "%loc_LOC"
 external __LINE_OF__: 'a => (int, 'a) = "%loc_LINE"
 external __POS_OF__: 'a => ((string, int, int, int), 'a) = "%loc_POS"
 
+/* Unified operations */
+
+external \"~+": 'a => 'a = "%plus"
+external \"~-": 'a => 'a = "%neg"
+
+external \"+": ('a, 'a) => 'a = "%add"
+external \"-": ('a, 'a) => 'a = "%sub"
+external \"*": ('a, 'a) => 'a = "%mul"
+external \"/": ('a, 'a) => 'a = "%div"
+external mod: ('a, 'a) => 'a = "%mod"
+
 /* Comparisons */
+/* Note: Later comparisons will be converted to unified operations too */
 
 external \"=": ('a, 'a) => bool = "%equal"
 external \"<>": ('a, 'a) => bool = "%notequal"
@@ -37,15 +49,8 @@ external \"||": (bool, bool) => bool = "%sequor"
 
 /* Integer operations */
 
-external \"~-": int => int = "%negint"
-external \"~+": int => int = "%identity"
 external succ: int => int = "%succint"
 external pred: int => int = "%predint"
-external \"+": (int, int) => int = "%addint"
-external \"-": (int, int) => int = "%subint"
-external \"*": (int, int) => int = "%mulint"
-external \"/": (int, int) => int = "%divint"
-external mod: (int, int) => int = "%modint"
 
 external land: (int, int) => int = "%andint"
 external lor: (int, int) => int = "%orint"