From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA12641 for caml-red; Tue, 8 Aug 2000 15:20:24 +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 NAA11472 for ; Tue, 8 Aug 2000 13:53:27 +0200 (MET DST) Received: from orion.inrets.fr (orion.inrets.fr [137.121.1.1]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e78BrPX18684 for ; Tue, 8 Aug 2000 13:53:26 +0200 (MET DST) Received: from deneb.inrets.fr by orion.inrets.fr (8.9.3/8.7.1); Tue, 8 Aug 2000 13:53:11 +0200 (MET DST) Received: from terre.inrets.fr by deneb.inrets.fr (8.7.6/8.7.6); Tue, 8 Aug 2000 13:53:11 +0200 (MET DST) Received: from inrets.fr (localhost [127.0.0.1]) by terre.inrets.fr (8.9.3/8.8.8) with ESMTP id NAA20529 for ; Tue, 8 Aug 2000 13:53:05 +0200 (MET DST) Message-ID: <39901098.42459B42@inrets.fr> Date: Tue, 08 Aug 2000 13:52:24 +0000 From: Georges Mariano Organization: INRETS-ESTAS X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12 i586) X-Accept-Language: fr-FR, en MIME-Version: 1.0 To: "caml-list@inria.fr" Subject: tiny toplevel Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 7bit Sender: weis@pauillac.inria.fr Hello, I know it is possible to create (specific) toplevels by adding some stuff to the original toplevel but... is it possible to do the reverse, i.e creating toplevels by removing some (supposed) unnecessary libraries/components ?? By the way, what's the size of the "smallest" possible toplevel (if 'smallest' make sense...) ?? (why this question ??? well, no particular point but think - about comparing "scripting language" interpreters (size) - about "tiny ocaml" or "embedded ocaml" ... ) [I have no idea about what can be removed from the original toplevel :-) just a question ] Thanks -- > Georges MARIANO tel: (33) 03 20 43 84 06 > INRETS, 20 rue Elisee Reclus fax: (33) 03 20 43 83 59 > 59650 Villeneuve d'Ascq mailto:mariano@terre.inrets.fr > FRANCE. > http://www3.inrets.fr/Public/ESTAS/Mariano.Georges/ > http://www3.inrets.fr/BUGhome.html mailto:Bforum@estas1.inrets.fr