diff --git a/asmcomp/closure.ml b/asmcomp/closure.ml
--- a/asmcomp/closure.ml
+++ b/asmcomp/closure.ml
@@ -563,6 +563,8 @@
         let (ubody, approx) = close fenv_body cenv body in
         (Uletrec(udefs, ubody), approx)
       end
+  | Lprim(Prevapply,[arg;funct]) ->
+      close fenv cenv (Lapply(funct, [arg], Location.none))
   | Lprim(Pgetglobal id, []) as lam ->
       check_constant_result lam
                             (getglobal id)
diff --git a/bytecomp/bytegen.ml b/bytecomp/bytegen.ml
--- a/bytecomp/bytegen.ml
+++ b/bytecomp/bytegen.ml
@@ -526,6 +526,9 @@
       comp_expr env arg sz cont
   | Lprim(Pignore, [arg]) ->
       comp_expr env arg sz (add_const_unit cont)
+  | Lprim(Prevapply, [arg;func]) ->
+    let exp = Lapply(func, [arg], Location.none) in
+    comp_expr env exp sz cont
   | Lprim(Pnot, [arg]) ->
       let newcont =
         match cont with
diff --git a/bytecomp/lambda.ml b/bytecomp/lambda.ml
--- a/bytecomp/lambda.ml
+++ b/bytecomp/lambda.ml
@@ -19,6 +19,7 @@
 type primitive =
     Pidentity
   | Pignore
+  | Prevapply
     (* Globals *)
   | Pgetglobal of Ident.t
   | Psetglobal of Ident.t
diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli
--- a/bytecomp/lambda.mli
+++ b/bytecomp/lambda.mli
@@ -19,6 +19,7 @@
 type primitive =
     Pidentity
   | Pignore
+  | Prevapply
     (* Globals *)
   | Pgetglobal of Ident.t
   | Psetglobal of Ident.t
diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml
--- a/bytecomp/printlambda.ml
+++ b/bytecomp/printlambda.ml
@@ -92,6 +92,7 @@
 let primitive ppf = function
   | Pidentity -> fprintf ppf "id"
   | Pignore -> fprintf ppf "ignore"
+  | Prevapply -> fprintf ppf "revapply"
   | Pgetglobal id -> fprintf ppf "global %a" Ident.print id
   | Psetglobal id -> fprintf ppf "setglobal %a" Ident.print id
   | Pmakeblock(tag, Immutable) -> fprintf ppf "makeblock %i" tag
diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml
--- a/bytecomp/translcore.ml
+++ b/bytecomp/translcore.ml
@@ -143,6 +143,7 @@
 let primitives_table = create_hashtable 57 [
   "%identity", Pidentity;
   "%ignore", Pignore;
+  "%revapply",Prevapply;
   "%field0", Pfield 0;
   "%field1", Pfield 1;
   "%setfield0", Psetfield(0, true);