From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA02439 for caml-redistribution; Wed, 17 Dec 1997 19:32:00 +0100 (MET) 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 IAA19197 for ; Wed, 17 Dec 1997 08:23:54 +0100 (MET) Received: from koure.dyn.ml.org (tcdet-64.dialup.alliance.net [198.110.112.64]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id IAA06918 for ; Wed, 17 Dec 1997 08:23:49 +0100 (MET) Received: from localhost (localhost [[UNIX: localhost]]) by koure.dyn.ml.org (8.8.8/8.8.8) id DAA14751 for caml-list@inria.fr; Wed, 17 Dec 1997 03:19:14 GMT From: Adam Scislowicz To: caml-list@inria.fr Subject: Wish List / Future direction? Reply-To: kor@earthling.net X-Mailer: KMail [version 0.4.3] Date: Tue, 16 Dec 1997 22:01:24 -0500 MIME-Version: 1.0 Message-Id: <97121622191200.14743@koure.dyn.ml.org> Sender: weis Near Future Wishes: 1) independent of ANY external library (libc libm libncurses for example) 2) reflectivity support :/ 3) dynamic linking of native modules 4) NASM output as an option at first, but when NASM adds multiplatform support it should be used instead of as, this would allow the use of OCAML/NASM without the bloat of gcc/gdb/binutils/glibc. Small changes: 1) optimization of recursive functions. WHY? I would like to implement an efficient exokernel, and I also would like the base system to use as little space as possible. Though without a C library much would have to be rewritten we cant keep old things around forever :(... I will patch emit.mlp for x86 NASM, and eventually Alpha and StrongARM NASM. I will also of course add patches for my object file format, but I cannot implement reflectivity, and I was wondering if you planned on it any time soon? -Adam Scislowicz(kor@earthling.net) (core@x2.alliance.net) Thank you for implementing such a powerfull development system :)