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 KAA17128; Mon, 28 May 2001 10:24: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 KAA17143 for ; Mon, 28 May 2001 10:24:49 +0200 (MET DST) Received: from uni-sb.de (uni-sb.de [134.96.252.33]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f4S8On927996 for ; Mon, 28 May 2001 10:24:49 +0200 (MET DST) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.11.3/2001051100) with ESMTP id f4S8OdZ13142 for ; Mon, 28 May 2001 10:24:39 +0200 (CEST) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.11.3/2001043000) with ESMTP id f4S8OcB12798 for ; Mon, 28 May 2001 10:24:38 +0200 (CEST) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.11.3/2001041100) with ESMTP id f4S8Obg12303 for ; Mon, 28 May 2001 10:24:37 +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.0/8.11.0) with ESMTP id f4S8ObK30837; Mon, 28 May 2001 10:24:37 +0200 Message-ID: <3B120B45.E2506D10@ps.uni-sb.de> Date: Mon, 28 May 2001 10:24:37 +0200 From: Andreas Rossberg Organization: =?iso-8859-1?Q?Universit=E4t?= des Saarlandes X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.2.17-14 i686) X-Accept-Language: de, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] classes vs modules References: <20010527133144.21504.qmail@web11902.mail.yahoo.com> <20010527181431.A5444@miss.wu-wien.ac.at> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Markus Mottl wrote: > > Out of curiousity, would it be unsound to allow functions like the > following: > > let f (cmp : 'a -> 'a -> bool) = > let module SomeSet = > Set.Make (struct type t = 'a let compare = cmp end) in > () It would be sound. Actually, Moscow ML allows it as an extension to SML. (Though I am not completely sure whether OCaml's odd semantics of type variables in annotations makes a difference. But I do not see how it should.) - Andreas -- Andreas Rossberg, rossberg@ps.uni-sb.de "Computer games don't affect kids. If Pac Man affected us as kids, we would all be running around in darkened rooms, munching pills, and listening to repetitive music." ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr