From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA09884; Wed, 23 Apr 2003 17:44:50 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA10454 for ; Wed, 23 Apr 2003 17:44:49 +0200 (MET DST) Received: from indyio.rz.uni-saarland.de (indyio.rz.uni-saarland.de [134.96.7.3]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h3NFimT15449 for ; Wed, 23 Apr 2003 17:44:48 +0200 (MET DST) Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by indyio.rz.uni-saarland.de (8.9.3p2/8.9.3) with ESMTP id RAA5829244 for ; Wed, 23 Apr 2003 17:44:47 +0200 (CEST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.12.9/2003020700) with ESMTP id h3NFilVU014635; Wed, 23 Apr 2003 17:44:47 +0200 (CEST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.9/2003020700) with ESMTP id h3NFhoEG028276; Wed, 23 Apr 2003 17:44:46 +0200 (CEST) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.12.9/2003020700) with ESMTP id h3NFXGHU018677; Wed, 23 Apr 2003 17:33:16 +0200 (CEST) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (zoidberg.ps.uni-sb.de [134.96.186.121]) by ps.uni-sb.de (8.11.6/8.11.0) with ESMTP id h3NFXFM21827; Wed, 23 Apr 2003 17:33:15 +0200 Message-ID: <3EA6B23B.2020804@ps.uni-sb.de> Date: Wed, 23 Apr 2003 17:33:15 +0200 From: Andreas Rossberg User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.0.1) Gecko/20021003 X-Accept-Language: de, en MIME-Version: 1.0 To: caml-list@inria.fr CC: Neel Krishnaswami Subject: Re: [Caml-list] Yelling References: <200304231716.23923.exa@kablonet.com.tr> <16038.43443.192953.705022@h00045a4799d6.ne.client2.attbi.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; rossberg:01 uni-sb:01 caml-list:01 neel:01 krishnaswami:01 foo:01 val:01 charm:01 darkened:01 munching:01 repetitive:01 kristian:01 sig:01 subtype:01 listening:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Neel Krishnaswami wrote: > > module type FOO = > sig > type t > val v : t > end > > module type BAR = (* This is a subtype of FOO *) > sig > type t > val v : t > val v' : t > end > > Notice that there's no syntax to abbreviate the definition of BAR; Sure there is: module type BAR = sig include FOO val v' : t end should work like a charm. ;-) -- Andreas Rossberg, rossberg@ps.uni-sb.de "Computer games don't affect kids; I mean if Pac Man affected us as kids, we would all be running around in darkened rooms, munching magic pills, and listening to repetitive electronic music." - Kristian Wilson, Nintendo Inc. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners