From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Wojciech Meyer Newsgroups: gmane.emacs.devel Subject: Re: e and pi Date: Fri, 17 Sep 2010 16:44:20 +0100 Message-ID: References: <8739t9xpt2.fsf@stupidchicken.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1284738280 18157 80.91.229.12 (17 Sep 2010 15:44:40 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 17 Sep 2010 15:44:40 +0000 (UTC) Cc: Chong Yidong , emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Sep 17 17:44:39 2010 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Owd72-0005Z0-08 for ged-emacs-devel@m.gmane.org; Fri, 17 Sep 2010 17:44:32 +0200 Original-Received: from localhost ([127.0.0.1]:52227 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Owd71-0002qO-Hn for ged-emacs-devel@m.gmane.org; Fri, 17 Sep 2010 11:44:31 -0400 Original-Received: from [140.186.70.92] (port=48603 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Owd6t-0002oN-2o for emacs-devel@gnu.org; Fri, 17 Sep 2010 11:44:24 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1Owd6r-0003u4-O2 for emacs-devel@gnu.org; Fri, 17 Sep 2010 11:44:22 -0400 Original-Received: from mail-qy0-f169.google.com ([209.85.216.169]:35692) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Owd6r-0003tm-H0 for emacs-devel@gnu.org; Fri, 17 Sep 2010 11:44:21 -0400 Original-Received: by qyk8 with SMTP id 8so1096820qyk.0 for ; Fri, 17 Sep 2010 08:44:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=4e8Uq92/TqlZX4BtKIaiUy9PJgV+9R7O1XzpaHHcGJk=; b=SjtycJxQ5L7I8u96A7NSoTrRJ8Y9lNOXDfIFkAqk8CTc/mIyp55j0v5WY3YuxFtTLV UMGkT7gwLz0xIx3xRBChTWzRgb325pHjfIbjByj0uUj4XslhbX/VsZI3HH7mhM5AtLUy 17/JLXDqKyeuHmFH9b19tICzUmvDS3mWlCMAM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=wgwRrXrAy4r5S5LQrZVYR5UQBRIrFUCO9HL5N/RDfJVwQT2rxYvEYNTBF/01xqIIsd dNKojfC2mXG5h1AHqKSTwfz5H5tSRtWWAFlp6rywF8fhkC+cEe/WE5grKfpGw4gMgCzZ Zn4nddbyoZT/0FaycsVs7GmepuZ9vOya1+OlU= Original-Received: by 10.224.54.134 with SMTP id q6mr3443108qag.388.1284738260790; Fri, 17 Sep 2010 08:44:20 -0700 (PDT) Original-Received: by 10.229.92.9 with HTTP; Fri, 17 Sep 2010 08:44:20 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:130325 Archived-At: On Fri, Sep 17, 2010 at 4:11 PM, Stefan Monnier wrote: > PS: Oddly enough, SML has a similar trap where "o" is predefined as the > function-composition operator and "op" is a rarely used reserved > keyword, and I think everyone agrees by now that these were > bad decisions. Yes but in Standard ML type checker most likely caught it before program run (at least if the signatures are different `o' would have (a' -> b') -> (c' -> a') -> (c' -> b')). Wojciech