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 TAA08120 for caml-redistribution@pauillac.inria.fr; Wed, 8 Mar 2000 19:30:41 +0100 (MET)
Resent-Message-Id: <200003081830.TAA08120@pauillac.inria.fr>
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 TAA27507 for <caml-list@pauillac.inria.fr>; Wed, 8 Mar 2000 19:21:37 +0100 (MET)
Received: from fiji01.liquidmarket.com (oahu02.liquidmarket.com [208.244.147.130])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id TAA12863
	for <caml-list@inria.fr>; Wed, 8 Mar 2000 19:21:34 +0100 (MET)
Received: from maui00.liquidmarket.com (IDENT:frouaix@maui00.liquidmarket.com [192.168.1.63])
	by fiji01.liquidmarket.com (8.9.3/8.9.3) with ESMTP id KAA01587;
	Wed, 8 Mar 2000 10:21:29 -0800
Message-Id: <200003081821.KAA01587@fiji01.liquidmarket.com>
X-Mailer: exmh version 2.0.3
From: Francois Rouaix <frouaix@liquidmarket.com>
To: luther@dpt-info.u-strasbg.fr
cc: caml-list@inria.fr
Subject: Re: Building a cross-compiling ocaml 
In-reply-to: Your message of "Tue, 07 Mar 2000 09:24:45 +0100."
             <20000307092445.A11953@dpt-info.u-strasbg.fr> 
Reply-To: frouaix@liquidmarket.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Wed, 08 Mar 2000 10:20:48 -0800
Sender: frouaix@mail.liquidmarket.com
Resent-From: weis@pauillac.inria.fr
Resent-Date: Wed, 8 Mar 2000 19:30:41 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

> HAs anyone been so crazy as to try to build a palm pilot version of
> ocaml ?

Of course not. However, I've worked on a port of Caml Light a long time ago
(you'll find that from my INRIA Web page). The fact that the device comes
with 8MB is misleading. This is not really memory you can allocate into (in
order to protect data from bogus programs, the Palm has memory protection on
most of its address space). Back in the time of the Pilot 5000, the actual
available memory was something like 64k. I had a small lambda-calculus 
evaluator
running on my Pilot 5000 (isn't that useful ?).
Hopefully these days with 8MB devices, we should get more heap (128k?).

Porting Caml Light is easier than OCaml because the runtime used to work for
platforms where ints are 16bits, which is the case in the Palm development
environment.

--f