From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 34A447F1AA for ; Thu, 10 Sep 2015 11:46:47 +0200 (CEST) IronPort-PHdr: 9a23:5DIsuRRKL0bWBqS1wLOF44YhNtpsv+yvbD5Q0YIujvd0So/mwa64bRKN2/xhgRfzUJnB7Loc0qyN4/ymADBIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/ni6brp9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4DDFQQaV/TMkX3kbiFJmHgfA5Rf8FsP4tCf3rPFV1jSVOMTwS/YyVCj0vIlxTxq9qiocLzMjuEXQl81rxItdrB+7vBF5i9rWbZqNOeA4eqTAfMhcTGxNU9xKWippDYa1bo9JBO0Ea7UL57LhrkcD+EPtTTKnA/nin3oR3if7 Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jesper.louis.andersen@gmail.com; spf=Pass smtp.mailfrom=jesper.louis.andersen@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jesper.louis.andersen@gmail.com) identity=pra; client-ip=209.85.212.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jesper.louis.andersen@gmail.com"; x-sender="jesper.louis.andersen@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jesper.louis.andersen@gmail.com designates 209.85.212.181 as permitted sender) identity=mailfrom; client-ip=209.85.212.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jesper.louis.andersen@gmail.com"; x-sender="jesper.louis.andersen@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f181.google.com) identity=helo; client-ip=209.85.212.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jesper.louis.andersen@gmail.com"; x-sender="postmaster@mail-wi0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CuAAAbUfFVm7XUVdFdhGAGgyCuKItbAQ2HcAKBOQc4FAEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBAwESER0BGx0BAwELBgUEAQY3AgIiAREBBQEcBhMIGod2AQMKCKksgTA+MYtBgWyCeYlzChknDVaEFgEBAQEBBQEBAQEBFwEFDoZmhHqFDAeCaYFDBZVWjHqZLBIjgRcfAQGCRQ0cgVY8M4hJAQEB X-IPAS-Result: A0CuAAAbUfFVm7XUVdFdhGAGgyCuKItbAQ2HcAKBOQc4FAEBAQEBAQEBEAEBAQEBBgsLCSEugh2CBwEBAwESER0BGx0BAwELBgUEAQY3AgIiAREBBQEcBhMIGod2AQMKCKksgTA+MYtBgWyCeYlzChknDVaEFgEBAQEBBQEBAQEBFwEFDoZmhHqFDAeCaYFDBZVWjHqZLBIjgRcfAQGCRQ0cgVY8M4hJAQEB X-IronPort-AV: E=Sophos;i="5.17,503,1437429600"; d="scan'208";a="145334921" Received: from mail-wi0-f181.google.com ([209.85.212.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Sep 2015 11:46:46 +0200 Received: by wiclk2 with SMTP id lk2so16190340wic.1 for ; Thu, 10 Sep 2015 02:46:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=2m/l2cWsPAUpk1mgsrm4MoGbeDIgG9A62o+lnD9FEak=; b=rQV7P45lFnsW8irZKnjv9FUz4L8wNLmJGfpnDy+1G0TgVuaESKGleoW2hjK/5DV/Ct WrVU7zkJ6ZNOAZ5l6NlzlyImA2k8jmwVCED0SCZoW2Z/q178uTHjwi/h/TzmzchzbGab EbG6X9TYFXIwPI9eW0qHLLd0yQWTy3xG0T8t64VKsESDUu++sCac/aGoh+7JxW9RDbso +jHX5YGChvAERXhJzXYK6U5Y5EzuRsSQUQlW/Jm+ba3OnCyk0ZNU0FPZo2bLKZC/BVu+ GwNcsCwkkX5I69BjNGCxpfv5koNMNm6Or/LkfQPK4Pk2/z/u037aZayWvZxx8XOomNV/ g1fw== X-Received: by 10.180.87.225 with SMTP id bb1mr4758886wib.0.1441878406148; Thu, 10 Sep 2015 02:46:46 -0700 (PDT) MIME-Version: 1.0 Received: by 10.28.1.84 with HTTP; Thu, 10 Sep 2015 02:45:56 -0700 (PDT) In-Reply-To: <55F08FB2.2090103@fugmann.net> References: <55F085FE.7010809@fugmann.net> <55F08FB2.2090103@fugmann.net> From: Jesper Louis Andersen Date: Thu, 10 Sep 2015 11:45:56 +0200 Message-ID: To: Anders Peter Fugmann Cc: Caml List Content-Type: multipart/alternative; boundary=f46d0444ea6f3535a7051f617abe Subject: Re: [Caml-list] Exceptions and backtraces --f46d0444ea6f3535a7051f617abe Content-Type: text/plain; charset=UTF-8 On Wed, Sep 9, 2015 at 9:59 PM, Anders Peter Fugmann wrote: > It just occurred to me that the functions I made are tail recursive and > which is why the middle function call is eliminated. Or even worse, tail calling. This, and aggressive inlining are the two things which most often rears its ugly head when hunting for why a piece of code is breaking some invariant. You have to "guess" at what the compiler did to the code base and reconstruct the code path from this. On the other hand, you don't want to lose either of those two optimizations. I agree it is worthwhile to document both behaviours. -- J. --f46d0444ea6f3535a7051f617abe Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable