fix

zth · zth · commit a80d31ad3784 · 2025-05-27T09:42:57.000+02:00
diff --git a/compiler/ml/typecore.ml b/compiler/ml/typecore.ml
@@ -2650,7 +2650,7 @@ and type_expect_ ~context ?in_function ?(recarg = Rejected) env sexp ty_expected
       }
   | Pexp_record (lid_sexp_list, Some sexp) ->
     assert (lid_sexp_list <> []);
-    let exp = type_expect ~context:None ~recarg env sexp (newvar ()) in
+    let exp = type_exp ~context:None ~recarg env sexp in
     let ty_record, opath =
       let get_path ty =
         try

Original file line number	Diff line number	Diff line change
`@@ -2650,7 +2650,7 @@ and type_expect_ ~context ?in_function ?(recarg = Rejected) env sexp ty_expected`
`2650`	`2650`	`}`
`2651`	`2651`	`\| Pexp_record (lid_sexp_list, Some sexp) ->`
`2652`	`2652`	`assert (lid_sexp_list <> []);`
`2653`		`- let exp = type_expect ~context:None ~recarg env sexp (newvar ()) in`
	`2653`	`+ let exp = type_exp ~context:None ~recarg env sexp in`
`2654`	`2654`	`let ty_record, opath =`
`2655`	`2655`	`let get_path ty =`
`2656`	`2656`	`try`