Comment

Author: mshinwell

runtime/obj.c

@@ -155,6 +155,8 @@ CAMLprim value caml_obj_with_tag(value new_tag_v, value arg)
   uintnat infix_offset = 0;
 
   // This function must not raise exceptions (except asynchronous exceptions).
+  // It behaves just like an allocation function, which has generative effects,
+  // but not arbitrary effects.  (See the [Obj_dup] case in [To_cmm].)
 
   tag_t new_tag = (tag_t)Long_val(new_tag_v);
 #ifdef DEBUG