From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q48LPH5O021283 for ; Tue, 8 May 2012 23:25:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgUCAB+OqU/RVdm2mGdsb2JhbABEsyQIIgEBAQEBCAkNBxQngiUCLAEbHgMSEF0BEQEFAVeHXQEDCwuZW4JeCQOMJIJzhRIKGScNV4h2AQULjWSDJgSVfoERjVE9hA0 X-IronPort-AV: E=Sophos;i="4.75,553,1330902000"; d="scan'208";a="142966964" Received: from mail-lb0-f182.google.com ([209.85.217.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 May 2012 23:25:11 +0200 Received: by lbon10 with SMTP id n10so8214190lbo.27 for ; Tue, 08 May 2012 14:25:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=7l13nQ6nsojREzHC6im161a+PSenTHkARkxbATjUo58=; b=QHXdXxXQ9n7H3VYMYQELIgUBqAhtyEzyGa0S03TqWFIIkTcHnmONCxcKDkjwtZKeZF lO6pf6OGTj+DNjSvnUasK0gXjXN0Tc8ktI2wgY8hvsm7REF9HSMYKvCfuZEc+O/DY1KJ swDvbKZHIszWLmfRJsaZIqrj086r10TmdH6FJZXuyqoOMO5Rc9d0ad8iq2HyJr+qGjLY tI84tF3WBx+UQ81MScsBG4kXTVYtKrL7WLcBQZ78BIsyO9xrJ7SUuWao4E7/GAQ+fmPx hFEy9U9twIGgrucbnBpZ3JtjS6argrC2o7TP0zieU1sHL6LorTg2KLWN0x3jF67CRszC h12Q== MIME-Version: 1.0 Received: by 10.152.148.234 with SMTP id tv10mr19614431lab.41.1336512310920; Tue, 08 May 2012 14:25:10 -0700 (PDT) Received: by 10.112.115.229 with HTTP; Tue, 8 May 2012 14:25:10 -0700 (PDT) Date: Tue, 8 May 2012 22:25:10 +0100 Message-ID: From: Joel Reymont To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] TypeRex: indenting let open Mod in Is there a way to get this layout with TypeRex? let alert ctx x = let open Alert in Printf.printf "...Alert: type = %s, status = %s\n" (Type.to_string (type_ x)) (status x); flush stdout Thanks, Joel -------------------------------------------------------------------------- Working on AlgoKit, a new algorithmic trading platform using Rithmic R|API ---------------------+------------+--------------------------------------- http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont ---------------------+------------+---------------------------------------