Fix syntax tests.

Fixes #6286

Author: cristianoc

jscomp/syntax/testrunner/res_test.ml

@@ -4,6 +4,7 @@ let dataDir = "jscomp/syntax/tests"
 
 (* test printing of .res file*)
 let () =
+  Config.uncurried := Legacy;
   let filename = Filename.concat dataDir "api/resSyntax.res" in
   let prettySource = Res_multi_printer.print `res ~input:filename in
   assert (
@@ -61,6 +62,8 @@ module OutcomePrinterTests = struct
   let signatureToOutcome structure =
     Lazy.force Res_outcome_printer.setup;
 
+    Clflags.include_dirs :=
+      Filename.concat "lib" "ocaml" :: !Clflags.include_dirs;
     Res_compmisc.init_path ();
     Clflags.nopervasives := true;
     let env = Res_compmisc.initial_env () in
@@ -84,7 +87,7 @@ module OutcomePrinterTests = struct
       Typedecl.report_error Format.str_formatter err;
       prerr_string (Format.flush_str_formatter ());
       exit 1
-    | e ->
+    | e when false ->
       prerr_string
         ("Unknown error while trying to print outcome tree.\n"
        ^ "We don't display all the outcome type errors; try adding the new \

jscomp/syntax/tests/oprint/expected/oprint.resi.txt

@@ -171,9 +171,9 @@ type \"let" = int
 type \"type" = [#"Point🗿"(\"let", float)]
 type t23 = [#1 | #"10space" | #123]
 type exoticUser = {\"let": string, \"type": float}
-type arity1a = (. unit) => int
-type arity1b = (. int) => int
-type arity2 = (. int, int) => int
+type arity1a = unit => int
+type arity1b = int => int
+type arity2 = (int, int) => int
 type obj1<'a> = option<{"a": int}>
 type obj2 = {"a": int}
 type obj3 = {"a": int}
@@ -217,7 +217,7 @@ type permissions = [#644 | #777]
 type numericPolyVarWithPayload = [#1(string) | #2(int, string)]
 let numericPolyVarMatch: [> #1(string) | #2(int, string)]
 let sort: (module(Set.S with type elt = 'a), list<'a>) => list<'a>
-let make_set: (('a, 'a) => int) => module(Set.S with type elt = 'a)
+let make_set: ('a, 'a) => int => module(Set.S with type elt = 'a)
 type picture = string
 module type DEVICE = {
   let draw: picture => unit