flambda-backend: Port #843 (Make Obj.dup use a new primitive, %obj_dup) (#2039)

riaqn · web-flow · commit 0e87252fee1c · 2023-11-17T15:27:59.000Z
diff --git a/runtime/obj.c b/runtime/obj.c
@@ -168,6 +168,7 @@ CAMLprim value caml_obj_with_tag(value new_tag_v, value arg)
 
 CAMLprim value caml_obj_dup(value arg)
 {
+  if (!Is_block(arg)) return arg;
   return caml_obj_with_tag(Val_long(Tag_val(arg)), arg);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -168,6 +168,7 @@ CAMLprim value caml_obj_with_tag(value new_tag_v, value arg)`
`168`	`168`
`169`	`169`	`CAMLprim value caml_obj_dup(value arg)`
`170`	`170`	`{`
	`171`	`+ if (!Is_block(arg)) return arg;`
`171`	`172`	`return caml_obj_with_tag(Val_long(Tag_val(arg)), arg);`
`172`	`173`	`}`
`173`	`174`