From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.bugs Subject: bug#14039: Bug in with-fluids semantics Date: Sat, 23 Mar 2013 20:44:26 +0100 Message-ID: References: <7932480.qaFp3n8hK8@warperdoze> <87obeaq6j0.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1364067905 20250 80.91.229.3 (23 Mar 2013 19:45:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 23 Mar 2013 19:45:05 +0000 (UTC) Cc: 14039-close@debbugs.gnu.org To: Andy Wingo Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Sat Mar 23 20:45:31 2013 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UJUNe-0000Cn-5w for guile-bugs@m.gmane.org; Sat, 23 Mar 2013 20:45:30 +0100 Original-Received: from localhost ([::1]:51278 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UJUNG-00034S-LW for guile-bugs@m.gmane.org; Sat, 23 Mar 2013 15:45:06 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:42359) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UJUNB-00031g-Mt for bug-guile@gnu.org; Sat, 23 Mar 2013 15:45:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1UJUN9-0007LD-59 for bug-guile@gnu.org; Sat, 23 Mar 2013 15:45:01 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:38409) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1UJUN8-0007KL-WD for bug-guile@gnu.org; Sat, 23 Mar 2013 15:44:59 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1UJUP7-0003kN-Rc for bug-guile@gnu.org; Sat, 23 Mar 2013 15:47:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Israelsson Tampe Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-guile@gnu.org Resent-Date: Sat, 23 Mar 2013 19:47:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 14039 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 14039-done@debbugs.gnu.org id=D14039.136406799514367 (code D ref 14039); Sat, 23 Mar 2013 19:47:01 +0000 Original-Received: (at 14039-close) by debbugs.gnu.org; 23 Mar 2013 19:46:35 +0000 Original-Received: from localhost ([127.0.0.1]:42518 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1UJUOf-0003jf-UD for submit@debbugs.gnu.org; Sat, 23 Mar 2013 15:46:34 -0400 Original-Received: from mail-pa0-f43.google.com ([209.85.220.43]:36343) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1UJUOd-0003jW-8C for 14039-close@debbugs.gnu.org; Sat, 23 Mar 2013 15:46:32 -0400 Original-Received: by mail-pa0-f43.google.com with SMTP id rl6so433776pac.16 for <14039-close@debbugs.gnu.org>; Sat, 23 Mar 2013 12:44:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=K6xj2Z8Wp1c3ap/elIcrw4qkbj5wGS0GUq7D6DEdqyY=; b=fUPALhXyfEhxAQeK2elIZIJ/EnieXLjJbMaXNN6Jr/Y5ga3+WdIFPbcBpofh/5cb3V X/l2Ywjg1Lsf42XoLsocDJDugFENtduAtyY36M4et0MXEFEko9m3qHsK8IMUb6BqENM+ ZUVe51MdQGNUboOBkt2Xni5alRxoJvbNhMFgax5KmAcdp5bUh1VNihi8T2610y++ooea GFqUU8siJ9SicvV/MxKuoPgWqk8SNh29Nc1K09/WL9neLab+t+6+Muj+KI1zT3hP8g4E SfISlASHufF7YUZLK1mpPFeVNmUHLJC/sHtEE91JitOx/aAxWOZD5Qs9x+zfm3Zhbysa cfQQ== X-Received: by 10.68.24.33 with SMTP id r1mr9109971pbf.139.1364067866882; Sat, 23 Mar 2013 12:44:26 -0700 (PDT) Original-Received: by 10.70.45.8 with HTTP; Sat, 23 Mar 2013 12:44:26 -0700 (PDT) In-Reply-To: <87obeaq6j0.fsf@pobox.com> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7001 Archived-At: Well yes you can actually. You can change and keep at the same time :-) I really agree that the current setup is what we got and may have merit but the problem is I have not find any uses of it. I would be glad to be wrong here but you all keep throwing a theoretical argument against it and just don't buy that until you can say that the semantic is good for this and that. On one side I may be ignorant and then please give me a hint so that I can learn. Or this is an indication of people being over theoretical in their argument. Both things can be right in my perspective so I'm not overly stupid being persistent for the good of the sake (Other than me might be glad to know about these matters) But the problem is not what we have. My problem is that what I can see as useful is not possible in an effective way. The basic problem is that a swap overwrites memory that could be kept. And I would prefer that we find a solution where both semantics can co-exists in an effective manner. So I would still consider it a BUG or at least a feature request. /Stefan On Sat, Mar 23, 2013 at 8:07 PM, Andy Wingo wrote: > On Sat 23 Mar 2013 11:41, Stefan Israelsson Tampe writes: > >> The reason is that when the with-fluid returns normally it does a full >> swap. It should only do half a swap e.g. restore the old value of the >> fluid and not store the current which is of non use because it can not >> be reached anymore and it contaminates the continuation k. > > That's not how fluids work, semantically: for better (I think) or for > worse (you think). We cannot change this. > > A > -- > http://wingolog.org/