flambda-backend: Cherry-pick 9432cfd (oxcaml#84)

gretay-js · web-flow · commit ecfdd721f8ad · 2021-07-16T13:31:24.000+01:00
This commit, which was part of PR#55, was lost when PR#55 was ported to 4.12. Partially revert "Replace tuple with record in Cextcall (oxcaml#10)" This partially reverts commit 2cd07e6. Revert the changes to ocaml/testsuite/tools
diff --git a/testsuite/tools/parsecmm.mly b/testsuite/tools/parsecmm.mly
@@ -221,13 +221,7 @@ expr:
   | LPAREN APPLY location expr exprlist machtype RPAREN
                 { Cop(Capply $6, $4 :: List.rev $5, debuginfo ?loc:$3 ()) }
   | LPAREN EXTCALL STRING exprlist machtype RPAREN
-               {Cop(Cextcall {name=$3; ret=$5; alloc=false;
-                              builtin=false;
-                              returns=true;
-                              effects=Arbitrary_effects;
-                              coeffects=Has_coeffects;
-                              ty_args=[];},
-                     List.rev $4, debuginfo ())}
+               {Cop(Cextcall($3, $5, false, None), List.rev $4, debuginfo ())}
   | LPAREN ALLOC exprlist RPAREN { Cop(Calloc, List.rev $3, debuginfo ()) }
   | LPAREN SUBF expr RPAREN { Cop(Cnegf, [$3], debuginfo ()) }
   | LPAREN SUBF expr expr RPAREN { Cop(Csubf, [$3; $4], debuginfo ()) }
