From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Gregory Marton Newsgroups: gmane.lisp.guile.bugs Subject: sending and and or as an argument links their behavior Date: Fri, 25 Jan 2008 19:07:03 -0500 (EST) Message-ID: Reply-To: Gregory Marton NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="511713324-1668661293-1201306023=:14358" X-Trace: ger.gmane.org 1201306043 10948 80.91.229.12 (26 Jan 2008 00:07:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 26 Jan 2008 00:07:23 +0000 (UTC) Cc: Linda Brown Westrick To: bug-guile@gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Sat Jan 26 01:07:42 2008 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1JIYa8-0001k1-RL for guile-bugs@m.gmane.org; Sat, 26 Jan 2008 01:07:37 +0100 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1JIYZi-00030B-JS for guile-bugs@m.gmane.org; Fri, 25 Jan 2008 19:07:10 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1JIYZd-0002yE-Vx for bug-guile@gnu.org; Fri, 25 Jan 2008 19:07:06 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1JIYZd-0002xm-Ae for bug-guile@gnu.org; Fri, 25 Jan 2008 19:07:05 -0500 Original-Received: from [199.232.76.173] (helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1JIYZc-0002xe-Su for bug-guile@gnu.org; Fri, 25 Jan 2008 19:07:04 -0500 Original-Received: from outgoing.csail.mit.edu ([128.30.2.149]) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1JIYZc-0001jZ-G3 for bug-guile@gnu.org; Fri, 25 Jan 2008 19:07:04 -0500 Original-Received: from ashmore.csail.mit.edu ([128.30.44.32]) by outgoing.csail.mit.edu with esmtps (TLSv1:AES256-SHA:256) (Exim 4.63) (envelope-from ) id 1JIYZc-0005TE-79; Fri, 25 Jan 2008 19:07:04 -0500 Original-Received: from gremio (helo=localhost) by ashmore.csail.mit.edu with local-esmtp (Exim 4.50) id 1JIYZc-0005fk-0q; Fri, 25 Jan 2008 19:07:04 -0500 X-detected-kernel: by monty-python.gnu.org: Linux 2.6 (newer, 3) X-BeenThere: bug-guile@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:3725 Archived-At: This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --511713324-1668661293-1201306023=:14358 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Hi folks, I'm wondering what to make of this behavior, seen in both guile 1.8.1 and 1.8.3, discovered by my colleague L. Brown Westrick, cc:ed above: guile> (define (apply2 f a b) (f a b)) guile> (apply2 or #t #f) #t guile> (apply2 and #t #f) #t [ #f expected ] guile> (quit) [because we're dealing with order here, it's useful to get a clean start. it turns out that this doesn't reset. You will keep getting #t for (apply2 and #t #f) and (apply2 and #f #t), though (apply2 and #f #f) will be correct.] guile> (define (apply2 f a b) (f a b)) guile> (apply2 and #t #f) #f guile> (apply2 or #t #f) #f [ #t expected ] (and #t #f) and (or #t #f) are not sensitive to this -- one has to pass them to another function and invoke them thus. I know these are not normal procedures, in that (procedure? and) ===> #f but this still seems wrong. I've attached a new test file boolean.test that tests this, as well as other standard things we expect of booleans which all pass. I am in the process of getting signed off w.r.t. copyright. Thanks, Grem -- ------ __@ Gregory A. Marton http://csail.mit.edu/~gremio/ --- _`\<,_ . -- (*)/ (*) The perfect is the enemy of the good. ~~~~~~~~~~~~~~~~-~~~~~~~~_~~~_~~~~~v~~~~^^^^~~~~~--~~~~~~~~~~~~~~~++~~~~~~~ --511713324-1668661293-1201306023=:14358 Content-Type: TEXT/PLAIN; charset=US-ASCII; name=boolean.test Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: attachment; filename=boolean.test Ozs7OyBzeW1ib2xzLnRlc3QgLS0tIHRlc3Qgc3VpdGUgZm9yIEd1aWxlJ3Mg c3ltYm9scyAgICAtKi0gc2NoZW1lIC0qLQ0KOzs7Ow0KOzs7OyBDb3B5cmln aHQgKEMpIDIwMDEsIDIwMDYgRnJlZSBTb2Z0d2FyZSBGb3VuZGF0aW9uLCBJ bmMuDQo7Ozs7IA0KOzs7OyBUaGlzIHByb2dyYW0gaXMgZnJlZSBzb2Z0d2Fy ZTsgeW91IGNhbiByZWRpc3RyaWJ1dGUgaXQgYW5kL29yIG1vZGlmeQ0KOzs7 OyBpdCB1bmRlciB0aGUgdGVybXMgb2YgdGhlIEdOVSBHZW5lcmFsIFB1Ymxp YyBMaWNlbnNlIGFzIHB1Ymxpc2hlZCBieQ0KOzs7OyB0aGUgRnJlZSBTb2Z0 d2FyZSBGb3VuZGF0aW9uOyBlaXRoZXIgdmVyc2lvbiAyLCBvciAoYXQgeW91 ciBvcHRpb24pDQo7Ozs7IGFueSBsYXRlciB2ZXJzaW9uLg0KOzs7OyANCjs7 OzsgVGhpcyBwcm9ncmFtIGlzIGRpc3RyaWJ1dGVkIGluIHRoZSBob3BlIHRo YXQgaXQgd2lsbCBiZSB1c2VmdWwsDQo7Ozs7IGJ1dCBXSVRIT1VUIEFOWSBX QVJSQU5UWTsgd2l0aG91dCBldmVuIHRoZSBpbXBsaWVkIHdhcnJhbnR5IG9m DQo7Ozs7IE1FUkNIQU5UQUJJTElUWSBvciBGSVRORVNTIEZPUiBBIFBBUlRJ Q1VMQVIgUFVSUE9TRS4gIFNlZSB0aGUNCjs7OzsgR05VIEdlbmVyYWwgUHVi bGljIExpY2Vuc2UgZm9yIG1vcmUgZGV0YWlscy4NCjs7OzsgDQo7Ozs7IFlv dSBzaG91bGQgaGF2ZSByZWNlaXZlZCBhIGNvcHkgb2YgdGhlIEdOVSBHZW5l cmFsIFB1YmxpYyBMaWNlbnNlDQo7Ozs7IGFsb25nIHdpdGggdGhpcyBzb2Z0 d2FyZTsgc2VlIHRoZSBmaWxlIENPUFlJTkcuICBJZiBub3QsIHdyaXRlIHRv DQo7Ozs7IHRoZSBGcmVlIFNvZnR3YXJlIEZvdW5kYXRpb24sIEluYy4sIDUx IEZyYW5rbGluIFN0cmVldCwgRmlmdGggRmxvb3IsDQo7Ozs7IEJvc3Rvbiwg TUEgMDIxMTAtMTMwMSBVU0ENCg0KOzs7DQo7OzsgaWYsIG5vdA0KOzs7DQoN CihwYXNzLWlmICJ0cnVlIiAjdCkNCihwYXNzLWlmICJmYWxzZSIgKG5vdCAj ZikpDQoocGFzcy1pZiAiaWYgdHJ1ZSIgKGlmICN0ICN0ICNmKSkNCihwYXNz LWlmICJpZiBmYWxzZSIgKGlmICNmICNmICN0KSkNCg0KOzs7DQo7OzsgYW5k LCBvcg0KOzs7DQoNCg0KKHBhc3MtaWYgIihhbmQpIiAgICAgKGFuZCkpDQoo cGFzcy1pZiAiYW5kIHQiICAgICAoYW5kICN0KSkNCihwYXNzLWlmICJhbmQg ZiIgICAgIChub3QgKGFuZCAjZikpKQ0KKHBhc3MtaWYgImFuZCB0dCIgICAg KGFuZCAjdCAjdCkpDQoocGFzcy1pZiAiYW5kIHRmIiAgICAobm90IChhbmQg I3QgI2YpKSkNCihwYXNzLWlmICJhbmQgZnQiICAgIChub3QgKGFuZCAjZiAj dCkpKQ0KKHBhc3MtaWYgImFuZCBmZiIgICAgKG5vdCAoYW5kICNmICNmKSkp DQoocGFzcy1pZiAiYW5kIHR0dCIgICAoYW5kICN0ICN0ICN0KSkNCihwYXNz LWlmICJhbmQgdHRmIiAgIChub3QgKGFuZCAjdCAjdCAjZikpKQ0KKHBhc3Mt aWYgImFuZCB0ZnQiICAgKG5vdCAoYW5kICN0ICNmICN0KSkpDQoocGFzcy1p ZiAiYW5kIHRmZiIgICAobm90IChhbmQgI3QgI2YgI2YpKSkNCihwYXNzLWlm ICJhbmQgZnR0IiAgIChub3QgKGFuZCAjZiAjdCAjdCkpKQ0KKHBhc3MtaWYg ImFuZCBmdGYiICAgKG5vdCAoYW5kICNmICN0ICNmKSkpDQoocGFzcy1pZiAi YW5kIGZmdCIgICAobm90IChhbmQgI2YgI2YgI3QpKSkNCihwYXNzLWlmICJh bmQgZmZmIiAgIChub3QgKGFuZCAjZiAjZiAjZikpKQ0KKHBhc3MtaWYgImFu ZCAoKSIgICAgKGFuZC1tYXAgaWRlbnRpdHkgJygpKSkNCihwYXNzLWlmICJh bmQgKHQpIiAgIChhbmQtbWFwIGlkZW50aXR5ICcoI3QpKSkNCihwYXNzLWlm ICJhbmQgKHR0KSIgIChhbmQtbWFwIGlkZW50aXR5ICcoI3QgI3QpKSkNCihw YXNzLWlmICJhbmQgKHR0dCkiIChhbmQtbWFwIGlkZW50aXR5ICcoI3QgI3Qg I3QpKSkNCihwYXNzLWlmICJhbmQgKHR0ZikiIChub3QgKGFuZC1tYXAgaWRl bnRpdHkgJygjdCAjdCAjZikpKSkNCihwYXNzLWlmICJhbmQgKGZmZikiIChh bmQtbWFwIG5vdCAnKCNmICNmICNmKSkpDQoocGFzcy1pZiAiYW5kICgxMjMp IiAoZXF1YWw/IDMgKGFuZCAxIDIgMykpKQ0KKHBhc3MtaWYgIjM9YW5kKDEy MykiIChlcXVhbD8gMyAoYW5kLW1hcCBpZGVudGl0eSAnKDEgMiAzKSkpKQ0K KHBhc3MtaWYgIjU9YW5kKDEyMykrMiIgKGVxdWFsPyA1IChhbmQtbWFwIChs YW1iZGEgKHgpICgrIDIgeCkpICcoMSAyIDMpKSkpDQoNCihwYXNzLWlmICIo b3IpIiAgICAgKG5vdCAob3IpKSkNCihwYXNzLWlmICJvciB0IiAgICAgKG9y ICN0KSkNCihwYXNzLWlmICJvciBmIiAgICAgKG5vdCAob3IgI2YpKSkNCihw YXNzLWlmICJvciB0dCIgICAgKG9yICN0ICN0KSkNCihwYXNzLWlmICJvciB0 ZiIgICAgKG9yICN0ICNmKSkNCihwYXNzLWlmICJvciBmdCIgICAgKG9yICNm ICN0KSkNCihwYXNzLWlmICJvciBmZiIgICAgKG5vdCAob3IgI2YgI2YpKSkN CihwYXNzLWlmICJvciB0dHQiICAgKG9yICN0ICN0ICN0KSkNCihwYXNzLWlm ICJvciB0dGYiICAgKG9yICN0ICN0ICNmKSkNCihwYXNzLWlmICJvciB0ZnQi ICAgKG9yICN0ICNmICN0KSkNCihwYXNzLWlmICJvciB0ZmYiICAgKG9yICN0 ICNmICNmKSkNCihwYXNzLWlmICJvciBmdHQiICAgKG9yICNmICN0ICN0KSkN CihwYXNzLWlmICJvciBmdGYiICAgKG9yICNmICN0ICNmKSkNCihwYXNzLWlm ICJvciBmZnQiICAgKG9yICNmICNmICN0KSkNCihwYXNzLWlmICJvciBmZmYi ICAgKG5vdCAob3IgI2YgI2YgI2YpKSkNCihwYXNzLWlmICJvciAoKSIgICAg KG5vdCAob3ItbWFwIGlkZW50aXR5ICcoKSkpKQ0KKHBhc3MtaWYgIm9yICh0 KSIgICAob3ItbWFwIGlkZW50aXR5ICcoI3QpKSkNCihwYXNzLWlmICJvciAo ZnQpIiAgKG9yLW1hcCBpZGVudGl0eSAnKCNmICN0KSkpDQoocGFzcy1pZiAi b3IgKGZmdCkiIChvci1tYXAgaWRlbnRpdHkgJygjZiAjZiAjdCkpKQ0KKHBh c3MtaWYgIm9yIChmZmYpIiAobm90IChvci1tYXAgaWRlbnRpdHkgJygjZiAj ZiAjZikpKSkNCihwYXNzLWlmICJvciAoZmYzKSIgKGVxdWFsPyAzIChvciAj ZiAjZiAzKSkpDQoocGFzcy1pZiAiMz1vcihmZjMpIiAoZXF1YWw/IDMgKG9y LW1hcCBpZGVudGl0eSAnKCNmICNmIDMpKSkpDQoocGFzcy1pZiAib3Igbm90 KHR0ZikiIChvci1tYXAgbm90ICcoI3QgI3QgI2YpKSkNCihwYXNzLWlmICIt MT1vcigxMjMpLTIiIChlcXVhbD8gLTEgKG9yLW1hcCAobGFtYmRhICh4KSAo LSB4IDIpKSAnKDEgMiAzKSkpKQ0KDQo7OzsNCjs7OyBhbmQgYW5kIG9yIGFz IGFyZ3VtZW50cw0KOzs7DQoNCihsZXQgKChhcHBseTIgKGxhbWJkYSAoZiBh IGIpIChmIGEgYikpKSkNCiAgKHBhc3MtaWYgImFwcGx5IGFuZCh0Zik9ZiIg KG5vdCAoYXBwbHkyIGFuZCAjdCAjZikpKQ0KICAocGFzcy1pZiAiYXBwbHkg b3IodGYpPXQiIChhcHBseTIgb3IgI3QgI2YpKQ0KICAocGFzcy1pZiAiYXBw bHkgYW5kKHRmKT10IiAoYXBwbHkyIGFuZCAjZiAjdCkpKQ0KDQo= --511713324-1668661293-1201306023=:14358--