flambda-backend: Handle exclave in pprintast (#2298)

* handle exclave in pprintast * fix indentation * fix test
ocaml-flambda · Feb 19, 2024 · 906de5e · 906de5e
1 parent 42b545b
commit 906de5e
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/parsing/pprintast.ml b/parsing/pprintast.ml
@@ -822,6 +822,10 @@ and expression ?(jane_syntax_parens = false) ctxt f x =
       ({ pexp_desc = Pexp_extension({txt = "extension.local"}, PStr []) },
        [Nolabel, sbody]) ->
         pp f "@[<2>local_ %a@]" (expression ctxt) sbody
+    | Pexp_apply
+      ({ pexp_desc = Pexp_extension({txt = "extension.exclave"}, PStr []) },
+       [Nolabel, sbody]) ->
+        pp f "@[<2>exclave_ %a@]" (expression ctxt) sbody
     | Pexp_apply (e, l) ->
         begin if not (sugar_expr ctxt f x) then
             match view_fixity_of_exp e with

diff --git a/testsuite/tests/parsetree/source_jane_street.ml b/testsuite/tests/parsetree/source_jane_street.ml
@@ -96,6 +96,11 @@ let g () = local_
   let f x y = local_ (x + y) in
   local_ ();;
 
+(* exclaves *)
+let f () = exclave_
+  let f x y = exclave_ (x + y) in
+  ()
+
 (* types *)
 type record =
   { global_ field : int