From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Marius Vollmer Newsgroups: gmane.lisp.guile.devel Subject: Re: New module system option :duplicates Date: 07 Mar 2003 16:28:54 +0100 Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Message-ID: <87el5jb3gp.fsf@zagadka.ping.de> References: <87ptp3b5ak.fsf@zagadka.ping.de> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1047051110 11731 80.91.224.249 (7 Mar 2003 15:31:50 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Fri, 7 Mar 2003 15:31:50 +0000 (UTC) Cc: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Mar 07 16:31:49 2003 Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 18rJoT-0002yj-00 for ; Fri, 07 Mar 2003 16:31:09 +0100 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10.13) id 18rJmz-0001Ok-00 for guile-devel@m.gmane.org; Fri, 07 Mar 2003 10:29:37 -0500 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10.13) id 18rJmO-0001DS-00 for guile-devel@gnu.org; Fri, 07 Mar 2003 10:29:00 -0500 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10.13) id 18rJmK-0001AL-00 for guile-devel@gnu.org; Fri, 07 Mar 2003 10:28:57 -0500 Original-Received: from [129.217.163.6] (helo=zagadka.ping.de) by monty-python.gnu.org with smtp (Exim 4.10.13) id 18rJmJ-0001A6-00 for guile-devel@gnu.org; Fri, 07 Mar 2003 10:28:55 -0500 Original-Received: (qmail 10976 invoked by uid 1000); 7 Mar 2003 15:28:54 -0000 Original-To: djurfeldt@nada.kth.se In-Reply-To: Original-Lines: 34 User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1b5 Precedence: list List-Id: Developers list for Guile, the GNU extensibility library List-Help: List-Post: List-Subscribe: , List-Archive: List-Unsubscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: main.gmane.org gmane.lisp.guile.devel:2050 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:2050 Mikael Djurfeldt writes: > Marius Vollmer writes: > > > Just giving the license to merge any and all generics that have > > colliding names is probably not what one wants. > > Actually, I'd like to have the option to do exactly that. In my view, > we can reasonably safely regard the merging as an administrative > non-issue for most programs. I see, yes. Unasked merging of generics has usually very few if any negative consequences. But still, you can not really savely use a generic that has been merged from two generics without your explicit consent. The typical situation would be that one part of a module intents to use the one generic, while another part (written later or by a different person) intents to use a second generic that happens to have the same name. The second part will likely add another ":use-module" clause and ":duplicates merge-generics" will silently merge the two generics. When the two generics have non-overlapping type signatures for their signatures, all is well. But you can't be sure about this. You need to be made aware that there is a collision/merging going on and then you can declare that this specific merge is OK. I guess it is next to impossible to automatically check whether overlapping type signatures can be merged the Right Way. -- GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405 _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel