flambda-backend: Bugfix for Typedtree generation of arrow types (#539)

stedolan · web-flow · commit 7d46712f7a56 · 2022-02-21T14:31:10.000Z
diff --git a/testsuite/tests/tool-ocamlc-stop-after/stop_after_typing_impl.compilers.reference b/testsuite/tests/tool-ocamlc-stop-after/stop_after_typing_impl.compilers.reference
@@ -8,7 +8,7 @@
         core_type (stop_after_typing_impl.ml[13,365+16]..stop_after_typing_impl.ml[13,365+19])
           Ttyp_constr "int!"
           []
-        core_type (stop_after_typing_impl.ml[13,365+16]..stop_after_typing_impl.ml[13,365+19])
+        core_type (stop_after_typing_impl.ml[13,365+23]..stop_after_typing_impl.ml[13,365+26])
           Ttyp_constr "int!"
           []
       [
diff --git a/typing/typetexp.ml b/typing/typetexp.ml
@@ -243,7 +243,7 @@ and transl_type_aux env policy mode styp =
             newty
               (Tarrow((l,arg_mode,ret_mode), arg_ty, ret_cty.ctyp_type, Cok))
           in
-          ctyp (Ttyp_arrow (l, arg_cty, arg_cty)) ty
+          ctyp (Ttyp_arrow (l, arg_cty, ret_cty)) ty
         | [] -> transl_type env policy ret_mode ret
       in
       loop mode args

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@`
`8`	`8`	`core_type (stop_after_typing_impl.ml[13,365+16]..stop_after_typing_impl.ml[13,365+19])`
`9`	`9`	`Ttyp_constr "int!"`
`10`	`10`	`[]`
`11`		`- core_type (stop_after_typing_impl.ml[13,365+16]..stop_after_typing_impl.ml[13,365+19])`
	`11`	`+ core_type (stop_after_typing_impl.ml[13,365+23]..stop_after_typing_impl.ml[13,365+26])`
`12`	`12`	`Ttyp_constr "int!"`
`13`	`13`	`[]`
`14`	`14`	`[`