From 19280e3ef0ea1121583091283297779bd355b701 Mon Sep 17 00:00:00 2001
From: Alain Frisch <alain@frisch.fr>
Date: Sep 11 2012 11:33:56 +0000
Subject: Formatting.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

---

diff --git a/typing/typecore.ml b/typing/typecore.ml
index 9f9dcff..3318214 100644
--- a/typing/typecore.ml
+++ b/typing/typecore.ml
@@ -2426,10 +2426,8 @@ and type_argument env sarg ty_expected' ty_expected =
       let rec make_args args ty_fun =
         match (expand_head env ty_fun).desc with
         | Tarrow (l,ty_arg,ty_fun,_) when is_optional l ->
-            make_args
-              ((l, Some(option_none (instance env ty_arg) sarg.pexp_loc), Optional)
-               :: args)
-              ty_fun
+            let ty = option_none (instance env ty_arg) sarg.pexp_loc in
+            make_args ((l, Some ty, Optional) :: args) ty_fun
         | Tarrow (l,_,ty_res',_) when l = "" || !Clflags.classic ->
             args, ty_fun, no_labels ty_res'
         | Tvar _ ->  args, ty_fun, false