From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBB8OoIn008256
	for <caml-list@sympa-roc.inria.fr>; Sun, 11 Dec 2011 09:24:50 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Av0EAD1o5E7DDgCO/2dsb2JhbABDDqpvgQaBcgEBBAE6HCMFCwtGOR4GE4gIArQri20ElHCKbIcFOA
X-IronPort-AV: E=Sophos;i="4.71,334,1320620400"; 
   d="scan'208";a="134889067"
Received: from 195-14-0-142.nuxit.net (HELO de558.ispfr.net) ([195.14.0.142])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 11 Dec 2011 09:24:45 +0100
Received: from ours.starynkevitch.net ([213.41.244.95] helo=glinka.lesours)
	by de558.ispfr.net with smtp (Exim 4.72)
	(envelope-from <basile@starynkevitch.net>)
	id 1RZei8-0005kK-73; Sun, 11 Dec 2011 09:24:40 +0100
Date: Sun, 11 Dec 2011 09:24:25 +0100
From: Basile Starynkevitch <basile@starynkevitch.net>
To: Peter Hawkins <hawkinsp@cs.stanford.edu>
Cc: Goswin von Brederlow <goswin-v-b@web.de>, oleg@okmij.org,
        caml-list@inria.fr, ontologiae@gmail.com
Message-Id: <20111211092425.f89c540e5f89511feb712161@starynkevitch.net>
In-Reply-To: <CAHV0EmYw2Jy4DLH7zoxqPm4G+k8HzUDQ4SFWMHcij4TVZC8sWg@mail.gmail.com>
References: <20111209065758.94306.qmail@eeoth.pair.com>
	<87aa712v26.fsf@frosties.localnet>
	<20111210164020.52c541c068ec0b3d041d088f@starynkevitch.net>
	<CAHV0EmYw2Jy4DLH7zoxqPm4G+k8HzUDQ4SFWMHcij4TVZC8sWg@mail.gmail.com>
X-Mailer: Sylpheed 3.2.0beta4 (GTK+ 2.24.8; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Why NOT to compile OCaml via C

On Sat, 10 Dec 2011 15:56:39 -0800
Peter Hawkins <hawkinsp@cs.stanford.edu> wrote:

> Hi...
> 
> There are some cool but quite dirty tricks based on computed gotos
> between functions to avoid problems with function size; see Section
> 5.2 of:
> Compiling logic programs to C using GNU C as a portable assembler
> Fergus Henderson, Zoltan Somogyi and Thomas Conway.
> Proceedings of the ILPS '95 Postconference Workshop on Sequential
> Implementation Technologies for Logic Programming Languages. Portland,
> Oregon, December 1995.


Yes, but these tricks are really dirty. They might not work when upgrading your compiler
(e.g. from GCC 4.5 to GCC 4.6).



-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mine, sont seulement les miennes} ***