From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.5 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 977EFBC69 for ; Sun, 4 Nov 2007 07:11:03 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAI7/LEfUGyojimdsb2JhbACBW40WAgEIAggREQc X-IronPort-AV: E=Sophos;i="4.21,368,1188770400"; d="scan'208";a="3876628" Received: from smtp5-g19.free.fr ([212.27.42.35]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Nov 2007 07:11:03 +0100 Received: from smtp5-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp5-g19.free.fr (Postfix) with ESMTP id 067653F615C; Sun, 4 Nov 2007 07:11:03 +0100 (CET) Received: from Llea.celt.neu (ron34-3-82-236-236-194.fbx.proxad.net [82.236.236.194]) by smtp5-g19.free.fr (Postfix) with ESMTP id D67803F6158; Sun, 4 Nov 2007 07:11:02 +0100 (CET) Received: from Llea.celt.neu (localhost [127.0.0.1]) by Llea.celt.neu (8.14.1/8.13.8) with ESMTP id lA46Fjxm001047; Sun, 4 Nov 2007 07:15:45 +0100 (CET) (envelope-from michael.le_barbier@laposte.net) Received: (from michael@localhost) by Llea.celt.neu (8.14.1/8.13.8/Submit) id lA46Fi3A001046; Sun, 4 Nov 2007 07:15:44 +0100 (CET) (envelope-from michael.le_barbier@laposte.net) X-Authentication-Warning: Llea.celt.neu: michael set sender to michael.le_barbier@laposte.net using -f To: Andrej.Bauer@andrej.com Cc: =?iso-8859-15?Q?Micha=EBl?= Le Barbier , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Strategy to avoid name collision in signatures References: <86tzo3nf8f.fsf@Llea.celt.neu> <472CFA7C.60901@fmf.uni-lj.si> From: michael.le_barbier@laposte.net (=?iso-8859-15?Q?Micha=EBl?= Le Barbier) Date: Sun, 04 Nov 2007 07:15:44 +0100 In-Reply-To: <472CFA7C.60901@fmf.uni-lj.si> (Andrej Bauer's message of "Sat\, 03 Nov 2007 23\:47\:24 +0100") Message-ID: <864pg28rjj.fsf@Llea.celt.neu> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; andrej:01 andrej:01 orderedtype:01 mone:98 signatures:01 defines:01 caml-list:01 functions:01 functions:01 int:01 writes:01 module:03 interface:06 structure:07 michael:07 Andrej Bauer writes: > If you really want to "blend" together OrderedType and FunnyType in the > same module, then they must be meaningfully related. What example do you > have in mind? A real example is where FunnyType.Make will add conveniance functions to a ring structure (math rings). Let's say FunnyType.PROTO defines ... one: t zmul: int -> t ->t ... FunnyProto.Make will add few functions to this interface, e.g. mone: t (=3D zmul (-1) one) two: t (=3D zmul 2 one) --=20 All the best, Micha=EBl LB