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 LAA11551; Wed, 14 Aug 2002 11:44:10 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA10424 for ; Wed, 14 Aug 2002 11:44:09 +0200 (MET DST) Received: from colt.epita.fr (colt.epita.fr [62.23.180.27]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7E9i9n16221 for ; Wed, 14 Aug 2002 11:44:09 +0200 (MET DST) Received: from hermes.epita.fr (hermes.epita.fr [163.5.255.10]) by colt.epita.fr id g7E9lxE20414 Wed, 14 Aug 2002 11:47:59 +0200 (MEST) Received: from goa.lrde.epita.fr (mail@goa.lrde.epita.fr [10.223.13.2]) by hermes.epita.fr id g7E9m0e00383 Wed, 14 Aug 2002 11:48:00 +0200 (MEST) Received: from barcelona.lrde.epita.fr ([10.223.13.32] ident=mail) by goa.lrde.epita.fr with esmtp (Exim 3.35 #1 (Debian)) id 17eul0-00059V-00; Wed, 14 Aug 2002 11:48:02 +0200 Received: from yann by barcelona.lrde.epita.fr with local (Exim 3.33 #1 (Debian)) id 17euwu-0003Xs-00; Wed, 14 Aug 2002 12:00:20 +0200 Date: Wed, 14 Aug 2002 12:00:18 +0200 To: Johan =?iso-8859-1?Q?Balti=C3=A9?= Cc: caml-list@inria.fr Subject: Re: [Caml-list] Module/Functor modelisation Message-ID: <20020814100017.GF6002@barcelona.lrde.epita.fr> Reply-To: yann@lrde.epita.fr References: <20020814070753.M11217@wanadoo.fr> <20020814074250.GA6002@barcelona.lrde.epita.fr> <20020814074844.M48926@epita.fr> <20020814074950.M92721@wanadoo.fr> <20020814083553.GC6002@barcelona.lrde.epita.fr> <20020814083157.M89732@wanadoo.fr> <20020814090548.GD6002@barcelona.lrde.epita.fr> <20020814085806.M98813@wanadoo.fr> <20020814093329.GE6002@barcelona.lrde.epita.fr> <20020814093239.M61475@wanadoo.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20020814093239.M61475@wanadoo.fr> User-Agent: Mutt/1.3.25i From: =?iso-8859-1?Q?Yann_R=E9gis-Gianas?= Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Aug 14, 2002 at 10:32:39AM +0100, Johan Baltié wrote: > Ce n'est malheureusement pas faisable parce qu'il me faudrait le faire pour > *tous* les types (à l'exception des types feuilles de mon AST, ce qui m'en fait > 2 en moins) et comme certains types sont mutuellement recursifs ca coince.... Alors, je ne vois plus de solution. > > En fait il me manque l'extension de module avec module partiellement defini. Tu veux dire des modules avec des valeurs différées ? Ce sont des modules mixins. Allez hop, regarde ces articles pour te faire une idée de la chose : http://pauillac.inria.fr/~xleroy/publi/mixins-cbv-esop2002.pdf ftp://ftp.disi.unige.it/pub/personÅnconaD/DISI-TR-99-05.ps.gz > Ou alors il y a un moyen de *simuler* ceci, mais je ne vois pas comment Malheuresement non, il n'y a pas moyen car le système de modules tel qu'il est fait ne supporte que les relations d'importations qui forment un graphe acyclique. Il va falloir que tu continues avec la méthode du départ ou bien que tu changes de modélisation. -- Yann Régis-Gianas. ------------------- 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