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 PAA25475; Tue, 30 Apr 2002 15:13:33 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
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 PAA25470 for <caml-list@pauillac.inria.fr>; Tue, 30 Apr 2002 15:13:32 +0200 (MET DST)
Received: from comtv.ru (comtv.ru [217.10.32.4])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g3UDDUH19856
	for <caml-list@inria.fr>; Tue, 30 Apr 2002 15:13:31 +0200 (MET DST)
Received: from [10.0.66.9] ([10.0.66.9] verified)
  by comtv.ru (CommuniGate Pro SMTP 3.5.9)
  with ESMTP id 2983624; Tue, 30 Apr 2002 17:13:11 +0400
Date: Tue, 30 Apr 2002 17:15:06 -0400 (EDT)
From: malc <malc@pulsesoft.com>
X-Sender: malc@home.oyster.ru
To: Christophe Raffalli <raffalli@univ-savoie.fr>
cc: caml-list@inria.fr
Subject: Re: [Caml-list] Specialized functors
In-Reply-To: <1020155042.3234.0.camel@d85.lama.univ-savoie.fr>
Message-ID: <Pine.LNX.4.21.0204301712160.550-100000@home.oyster.ru>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=koi8-r
Content-Transfer-Encoding: QUOTED-PRINTABLE
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

On 30 Apr 2002, Christophe Raffalli wrote:

> Le mar 30/04/2002 =E0 09:12, malc a =E9crit :
> > Hi,
> >=20
> > Here http://algol.prosalg.no/~malc/code/specfun.tar.gz you can find sma=
ll
> > OCaml 3.04 patch to allow functor specialization. Feedback is welcome.
> >=20
>=20
> Can you tell us what it does (I prefer to know before I try)

module F(A: sig .. end) =3D struct
=2E..
end

module X =3D F(Moo) will be expanded to:
module X =3D struct
  module opaque =3D struct
   <Moo body>
  end
  open X
  <F body>
end

With all the dirty facts hidden, and typing (mostly) preserved.
There is an example in the archive, try it, cause im really bad
doc/explanation writer.

--=20
mailto:malc@pulsesoft.com

-------------------
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