remove principal

Author: bobzhang

jscomp/main/rescript_compiler_main.ml

@@ -448,9 +448,6 @@ let buckle_script_flags : (string * Bsc_args.spec * string) array =
     "-nolabels", set Clflags.classic, 
     "*internal* Ignore non-optional labels in types";  
 
-    "-principal", set Clflags.principal, 
-    "*internal* Check principality of type inference";  
-
     "-short-paths", clear Clflags.real_paths, 
     "*internal* Shorten paths in types";
 

scripts/buckle_lto.js

@@ -13,7 +13,8 @@ var pairs = [
   ["Clflags.strict_sequence", "true"],
   ["Clflags.strict_formats", "true"],
   ["Clflags.compile_only", "true"],
-  ["Clflags.recursive_types","false"]
+  ["Clflags.recursive_types","false"],
+  ["Clflags.principal","false"]
 ];
 
 var regexp = RegExp(