Re: [Caml-list] Module/Functor modelisation

["Yann Régis-Gianas" <yann@lrde.epita.fr>]

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