Use uncurried mode setting for outcome printer (#769)

Author: cristianoc

analysis/src/Cmt.ml

@@ -33,4 +33,10 @@ let fullsFromModule ~package ~moduleName =
 
 let loadFullCmtFromPath ~path =
   let uri = Uri.fromPath path in
-  fullFromUri ~uri
+  let full = fullFromUri ~uri in
+  match full with
+  | None -> None
+  | Some full ->
+    (* Turn on uncurried for the outcome printer *)
+    if full.package.uncurried then Config.uncurried := Uncurried;
+    Some full

analysis/src/Packages.ml

@@ -29,6 +29,11 @@ let newBsPackage ~rootPath =
         | Some libBs ->
           Some
             (let namespace = FindFiles.getNamespace config in
+             let uncurried =
+               let ns = config |> Json.get "uncurried" in
+               Option.bind ns Json.bool
+             in
+             let uncurried = uncurried = Some true in
              let sourceDirectories =
                FindFiles.getSourceDirectories ~includeDev:true ~baseDir:rootPath
                  config
@@ -144,6 +149,7 @@ let newBsPackage ~rootPath =
                      resultModulePath = ["Belt"; "Result"];
                      exnModulePath = ["Js"; "Exn"];
                    });
+               uncurried;
              })))
     | None -> None)
 

analysis/src/SharedTypes.ml

@@ -471,6 +471,7 @@ type package = {
   namespace: string option;
   builtInCompletionModules: builtInCompletionModules;
   opens: path list;
+  uncurried: bool;
 }
 
 let allFilesInPackage package =

analysis/tests/package-lock.json

@@ -319,6 +319,9 @@ let rec printOutTypeDoc (outType : Outcometree.out_type) =
       ]
 
 and printOutArrowType ~uncurried typ =
+  let uncurried =
+    if !Config.uncurried <> Legacy then not uncurried else uncurried
+  in
   let typArgs, typ = collectArrowArgs typ [] in
   let args =
     Doc.join