Return-Path: X-Original-To: notmuch@notmuchmail.org Delivered-To: notmuch@notmuchmail.org Received: from localhost (localhost [127.0.0.1]) by olra.theworths.org (Postfix) with ESMTP id 9652F429E25 for ; Sun, 28 Aug 2011 20:47:36 -0700 (PDT) X-Virus-Scanned: Debian amavisd-new at olra.theworths.org X-Spam-Flag: NO X-Spam-Score: -0.799 X-Spam-Level: X-Spam-Status: No, score=-0.799 tagged_above=-999 required=5 tests=[DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7] autolearn=disabled Received: from olra.theworths.org ([127.0.0.1]) by localhost (olra.theworths.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id s8ASzWbHS2gL for ; Sun, 28 Aug 2011 20:47:36 -0700 (PDT) Received: from mail-qw0-f53.google.com (mail-qw0-f53.google.com [209.85.216.53]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) by olra.theworths.org (Postfix) with ESMTPS id 32615431FB6 for ; Sun, 28 Aug 2011 20:47:36 -0700 (PDT) Received: by qwb7 with SMTP id 7so3436162qwb.26 for ; Sun, 28 Aug 2011 20:47:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=from:to:cc:subject:in-reply-to:references:user-agent:date :message-id:mime-version:content-type; bh=0vPltx2FFlbhIZYyx/JtQvZsKJ6Z5Cw6Jf1MzrwLhYA=; b=Qn7zv85+qPh4O9RZeZ4PRwkBs5TKdgTRNfGG5uxb69xxgJ77N8uzkb14O7iBOSnJCP bNFDxsBIxsqwIDwBWTrxKDecw2w0C8ZlS3BehMY6nRndMHleoXqNmfi1yP324d8fk54A OOarimU3YRuVea7jKkw61MUM8wyfHRnjouiZ0= Received: by 10.229.27.132 with SMTP id i4mr5084901qcc.47.1314589655579; Sun, 28 Aug 2011 20:47:35 -0700 (PDT) Received: from localhost (pool-96-240-192-157.spfdma.east.verizon.net [96.240.192.157]) by mx.google.com with ESMTPS id m11sm3154506qcw.31.2011.08.28.20.47.33 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 28 Aug 2011 20:47:34 -0700 (PDT) From: Ben Gamari To: Antoine Latter Subject: Re: Bug in GC's ordering of ForeignPtr finalization? In-Reply-To: References: <8739h1pbaq.fsf@gmail.com> <87pqjprzu2.fsf@gmail.com> User-Agent: Notmuch/0.7-37-g5c3c7f6 (http://notmuchmail.org) Emacs/23.2.1 (x86_64-pc-linux-gnu) Date: Sun, 28 Aug 2011 23:47:31 -0400 Message-ID: <87ty907ub0.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Cc: Bart Massey , glasgow-haskell-users@haskell.org, notmuch@notmuchmail.org, haskell-cafe@haskell.org X-BeenThere: notmuch@notmuchmail.org X-Mailman-Version: 2.1.13 Precedence: list List-Id: "Use and development of the notmuch mail system." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 29 Aug 2011 03:47:36 -0000 On Sun, 28 Aug 2011 22:26:05 -0500, Antoine Latter wrote: > One problem you might be running in to is that the optimization passes > can notice that a function isn't using all of its arguments, and then > it won't pass them. These even applies if the arguments are bound > together in a record type. > In this case I wouldn't be able to reproduce the problem with optimization disabled, no? Unfortunately, this is not the case; the problem persists even with -O0. - Ben