From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 2F45BBCAB for ; Thu, 18 Jun 2009 16:10:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtQCAB/nOUrRVdvXmGdsb2JhbACYJD8BAQEBAQgJDAcTpkSBGZBxAQMCBIQEBQ X-IronPort-AV: E=Sophos;i="4.42,245,1243807200"; d="scan'208";a="31499174" Received: from mail-ew0-f215.google.com ([209.85.219.215]) by mail1-smtp-roc.national.inria.fr with ESMTP; 18 Jun 2009 16:10:13 +0200 Received: by ewy11 with SMTP id 11so1500211ewy.9 for ; Thu, 18 Jun 2009 07:10:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=KrwOYfF34EPwfVQ7EjcBtTEaxTjRr5TrFnUqdqwAHIk=; b=vHzMoYEx9JqVm6EPMgenhqCek1DmkRbg9QWcTvtALvFpF/e1va9QcMKnKi4os62YKU Q9vStkU4EA/hSBthZKe1PrmAYhQDdipYNSQomDgJB6quFgbWMhRdAAQncWO7WDQNSS2m c/dCHO+gd962yv7fN39BhnE4hHGXFJHZHIhYI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=IAP9YiMpMOzBYDJLIdfX1XpiRmEMfMA+Mme7E4PhT4Xnnib1TV81ILqwug2uOJLH9l Lc356X7FrWaT/ux5MdG9SnJnL4x33B3ugRqFwadulcqM0ru1nWrFsGfRU1fCakSrymuQ KLBWETZZU//rdpRBE6OxcSZgyPT0XfCAauazg= MIME-Version: 1.0 Received: by 10.210.59.14 with SMTP id h14mr4512847eba.67.1245334213627; Thu, 18 Jun 2009 07:10:13 -0700 (PDT) In-Reply-To: References: <4b39c80a0904230330r759d3429jae4146d2c2db7a36@mail.gmail.com> <20090423103430.GH29676@janestcapital.com> <4b39c80a0906180652p420fb6ffy7d063afb944f8ff9@mail.gmail.com> Date: Thu, 18 Jun 2009 16:10:13 +0200 Message-ID: <4b39c80a0906180710me805f2fh9fc1c60ee041633c@mail.gmail.com> Subject: Re: [Caml-list] ocamlopt debugging options From: Alexey Rodriguez To: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Cc: OCaml List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocamlopt:01 bunzli:01 buenzli:01 inlined:01 ocaml:01 monads:01 monads:01 ocaml:01 cheers:01 2009:98 compile:01 inline:01 inline:01 caml-list:01 functions:01 2009/6/18 Daniel B=FCnzli : > > If you compile with -S they should not be gone in the generated assembly > file. More explanations here : > > http://ocaml-tutorial.org/performance_and_profiling Thank you! It was my silly mistake after all. I was testing a small program to see whether functions would be inlined. Ocaml did inline them and that is why I did not see them! :) One more question regarding code generation and optimization. Has anyone in this list used monads in production code? The core library from Jane Street uses monads, so I suppose they are used over there. Can people comment on their efficiency (or lack thereof)? The experiments I am doing are to test whether Ocaml can inline most uses of bind. Cheers, Alexey