From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by pauillac.inria.fr; Wed, 16 Feb 94 18:52:38 +0100
Received: from margaux.inria.fr by pauillac.inria.fr; Wed, 16 Feb 94 10:50:15 +0100
Received: from concorde.inria.fr by margaux.inria.fr, Wed, 16 Feb 94 10:50:12 +0100
Received: from sanson.dit.upm.es by concorde.inria.fr; Wed, 16 Feb 1994 10:50:10 +0100
Received: from jazmin.die.upm.es by sanson.dit.upm.es (5.65c/1.6.28) Wed, 16 Feb 1994 10:50:06 +0100
Received: from lorien.die.upm.es (lorien-gw) by jazmin.die.upm.es (4.0/1.10.3) Wed, 16 Feb 94 10:49:11 +0100
Received: from mordor.lorien by lorien.die.upm.es (4.1/1.10.3) Wed, 16 Feb 94 10:54:22 +0100
Date: Wed, 16 Feb 94 10:54:22 +0100
From: fva@die.upm.es (Francisco Valverde Albacete)
Message-Id: <9402160954.AA18004@lorien.die.upm.es>
To: caml-list@margaux.inria.fr
Subject: Some questions and proposals...
Sender: weis@pauillac.inria.fr

Hello mailing list,


	I hope you don't get discouraged when you see the number of question I
address you...

	1) Has anybody developed a module for trees with a variable number of
	branches? If so, can I borrow it?

		My own solution comes from Reade's:

	(* Variable trees *)
	type 'a vtree = Vtree of 'a * 'a vtree list;;

	type 'a forest = 'a vtree list;;

	though, for the sake of efficient updating I have used mutables in the
	design (yes, the nasty "can't generalize type.." etc.

		I would also thank any ideas for the functionals around the
	base type. I have already done some: it_vtree, exists_vtree,
	for_all_vtree, do_vtree in the spirit of their list counterparts...

	OOPS, I must say I'm coding it in CAML (Heavy)!

	2) This is a question mainly to CAML and Camllight implementors: has
	anybody thought of a way to migrate in an automatic, or at least semi-
	automatic way, modules from one of the systems to the other? I have this
	huge quantity of modules in CAML wanting to be compiled in Camllight...!

	3) Finally (or so I think), I guess many of us have types and functions
	that could be of use for the rest ("reuse" they call it, I think).Is 	
	there anythihg like a freeware repository for CAML and Camllight
	modules?
	If so, where? If not, could we discuss such a thing? At least a list
	or sort of FAQ for people whom to ask for them? I volunteer to receive
	and compile a list of people and things (cut and paste, you know) and
	send the list back to caml-mailing-list. That'd be something to start
	with!

   Hope the mail comes in handy for someone else! Au revoir mailing-list!


		Francisco Valverde
		fva@die.upm.es