flambda-backend: Promotions

Author: mshinwell

testsuite/tests/backtrace/backtrace_dynlink.reference

@@ -1,20 +1,20 @@
 Raised by primitive operation at Backtrace_dynlink_plugin in file "backtrace_dynlink_plugin.ml", line 6, characters 13-38
-Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 292, characters 8-25
+Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 112, characters 8-25
 Called from Stdlib__List.iter in file "list.ml", line 116, characters 12-15
 Called from Dynlink_common.Make.load.(fun) in file "otherlibs/dynlink/dynlink_common.ml", line 367, characters 13-72
 Called from Stdlib__List.iter in file "list.ml", line 116, characters 12-15
 Called from Dynlink_common.Make.load in file "otherlibs/dynlink/dynlink_common.ml", line 363, characters 8-408
-Called from Backtrace_dynlink in file "backtrace_dynlink.ml", line 39, characters 4-52
+Called from Backtrace_dynlink in file "backtrace_dynlink.ml", line 39, characters 4-71
 execution of module initializers in the shared library failed: Failure("SUCCESS")
 Raised at Stdlib.failwith in file "stdlib.ml", line 34, characters 17-33
 Called from Backtrace_dynlink_plugin in file "backtrace_dynlink_plugin.ml", line 3, characters 4-22
 Re-raised at Backtrace_dynlink_plugin in file "backtrace_dynlink_plugin.ml", line 8, characters 5-12
-Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 292, characters 8-25
-Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 292, characters 8-25
-Re-raised at Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 304, characters 6-137
+Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 112, characters 8-25
+Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 112, characters 8-25
+Re-raised at Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 124, characters 6-137
 Called from Stdlib__List.iter in file "list.ml", line 116, characters 12-15
 Called from Dynlink_common.Make.load.(fun) in file "otherlibs/dynlink/dynlink_common.ml", line 367, characters 13-72
 Called from Stdlib__List.iter in file "list.ml", line 116, characters 12-15
 Called from Dynlink_common.Make.load in file "otherlibs/dynlink/dynlink_common.ml", line 363, characters 8-408
 Re-raised at Dynlink_common.Make.load in file "otherlibs/dynlink/dynlink_common.ml", line 376, characters 8-17
-Called from Backtrace_dynlink in file "backtrace_dynlink.ml", line 39, characters 4-52
+Called from Backtrace_dynlink in file "backtrace_dynlink.ml", line 39, characters 4-71

testsuite/tests/lib-dynlink-initializers/test10_main.native.reference

@@ -3,12 +3,13 @@ Raised at Stdlib.failwith in file "stdlib.ml", line 34, characters 17-33
 Called from Test10_plugin.g in file "test10_plugin.ml" (inlined), line 2, characters 15-38
 Called from Test10_plugin.f in file "test10_plugin.ml", line 6, characters 2-6
 Called from Test10_plugin in file "test10_plugin.ml", line 10, characters 2-6
-Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 292, characters 8-25
-Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 292, characters 8-25
-Re-raised at Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 304, characters 6-137
+Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 112, characters 8-25
+Called from Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 112, characters 8-25
+Re-raised at Dynlink.Native.ndl_run in file "otherlibs/dynlink/dynlink.ml", line 124, characters 6-137
 Called from Stdlib__List.iter in file "list.ml", line 116, characters 12-15
 Called from Dynlink_common.Make.load.(fun) in file "otherlibs/dynlink/dynlink_common.ml", line 367, characters 13-72
 Called from Stdlib__List.iter in file "list.ml", line 116, characters 12-15
 Called from Dynlink_common.Make.load in file "otherlibs/dynlink/dynlink_common.ml", line 363, characters 8-408
 Re-raised at Dynlink_common.Make.load in file "otherlibs/dynlink/dynlink_common.ml", line 376, characters 8-17
+Called from Dynlink_common.Make.loadfile in file "otherlibs/dynlink/dynlink_common.ml" (inlined), line 378, characters 26-45
 Called from Test10_main in file "test10_main.ml", line 49, characters 30-87

testsuite/tests/parsetree/locations_test.compilers.reference

@@ -243,7 +243,7 @@ Ptop_def
             Ppat_constraint
             pattern (//toplevel//[2,1+4]..[2,1+5])
               Ppat_var "x" (//toplevel//[2,1+4]..[2,1+5])
-            core_type (//toplevel//[2,1+16]..[2,1+22]) ghost
+            core_type (//toplevel//[2,1+4]..[2,1+35]) ghost
               Ptyp_poly 'a
               core_type (//toplevel//[2,1+16]..[2,1+22])
                 Ptyp_arrow

testsuite/tests/typing-gadts/test.ml

@@ -689,9 +689,9 @@ let f : type a b. (a,b) eq -> (<m : a; ..> as 'c) -> (<m : b; ..> as 'c) =
 ;; (* fail *)
 [%%expect{|
 type (_, _) eq = Eq : ('a, 'a) eq
-Line 3, characters 18-72:
-3 | let f : type a b. (a,b) eq -> (<m : a; ..> as 'c) -> (<m : b; ..> as 'c) =
-                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+Lines 3-4, characters 4-15:
+3 | ....f : type a b. (a,b) eq -> (<m : a; ..> as 'c) -> (<m : b; ..> as 'c) =
+4 |   fun Eq o -> o
 Error: The universal type variable 'b cannot be generalized:
        it is already bound to another variable.
 |}];;

testsuite/tests/typing-layouts/annots_beta.ml

@@ -356,9 +356,9 @@ val f : ('a : float64). 'a -> 'a = <fun>
 let f : type (a : any). a -> a = fun x -> x
 ;;
 [%%expect {|
-Line 1, characters 24-30:
+Line 1, characters 4-43:
 1 | let f : type (a : any). a -> a = fun x -> x
-                            ^^^^^^
+        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 Error: The universal type variable 'a was declared to have
        layout any, but was inferred to have a representable layout.
 |}]

testsuite/tests/typing-local/local.ml

@@ -171,7 +171,11 @@ let foo () =
     ((fun y z -> z) : int -> local_ (int -> int)) in
   ()
 [%%expect{|
-val foo : unit -> unit = <fun>
+Line 3, characters 4-49:
+3 |     ((fun y z -> z) : int -> local_ (int -> int)) in
+        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+Error: This expression has type int -> local_ (int -> int)
+       but an expression was expected of type int -> int -> int
 |}]
 
 let foo () =
@@ -191,7 +195,11 @@ let foo () =
     ((fun y z -> z) : _ -> local_ (_ -> _)) in
   ()
 [%%expect{|
-val foo : unit -> unit = <fun>
+Line 3, characters 4-43:
+3 |     ((fun y z -> z) : _ -> local_ (_ -> _)) in
+        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+Error: This expression has type 'b -> local_ ('c -> 'c)
+       but an expression was expected of type 'a -> 'a -> 'a
 |}]
 
 let foo () =
@@ -2787,7 +2795,11 @@ let foo () =
   let local_ _bar2 z : int -> int -> int = local_ (fun x y -> x + y + z) in
   ()
 [%%expect{|
-val foo : unit -> unit = <fun>
+Line 2, characters 6-66:
+2 |   let local_ _bar1 : int -> int -> int = local_ (fun x y -> x + y) in
+          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+Error: This expression has type int -> local_ (int -> int)
+       but an expression was expected of type int -> (int -> int)
 |}];;
 
 let foo () =