From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <asmadeus77@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 88D84BC69
	for <caml-list@yquem.inria.fr>; Sun, 13 Jan 2008 10:24:16 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAAhoiUdA6aa0kGdsb2JhbACQCQEBAQEHBAQkB5ADhg0
X-IronPort-AV: E=Sophos;i="4.24,278,1196636400"; 
   d="scan'208";a="21174165"
Received: from py-out-1112.google.com ([64.233.166.180])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Jan 2008 10:24:09 +0100
Received: by py-out-1112.google.com with SMTP id v53so1927505pyh.33
        for <caml-list@yquem.inria.fr>; Sun, 13 Jan 2008 01:24:08 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        bh=4GptArW45wp9amU6pKAvBaE9PBZE5zfdtLwfMchON+E=;
        b=mgkWx2nTa7f75aXWjNDNZbcGGzGDsFdMZAfKt5HJbJfQxxfO/bwYki0++6DMO4jlFPCiULpOD4bBGjAOTY1hgq4QXYjmZx5gqcvSPIr4R7TX1bgFIu9/ThcA35zH+ZIRgb8aI+dUFrQOXpuSr3qZP4EBXS4zPTky7sKV0num9ow=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=tekZS7ALBl6arBtUz6+b22lr7/uzVFTCb+wwSvWovvN7AZ5wbOld1hjaCKbZUUeyXV53Zp8utF49MFvOKPigw/anF4DtguyBo1VjcD8RxT4G2bHGOjbL+2cS+r79gjhCke/DHAnVa3e+dr2JOWiMwcLVrfoUg57JM/jQNiL2l0A=
Received: by 10.65.204.7 with SMTP id g7mr9030861qbq.73.1200216247941;
        Sun, 13 Jan 2008 01:24:07 -0800 (PST)
Received: by 10.65.138.17 with HTTP; Sun, 13 Jan 2008 01:24:07 -0800 (PST)
Message-ID: <b79ece760801130124k42131f25q2439c903e3be6be6@mail.gmail.com>
Date: Sun, 13 Jan 2008 10:24:07 +0100
From: "Dominique Martinet" <asmadeus77@gmail.com>
To: "Joel Reymont" <joelr1@gmail.com>
Subject: Re: [Caml-list] Why is ocaml so big?
Cc: "Lukasz Stafiniak" <lukstafi@gmail.com>,
	caml-list@yquem.inria.fr, "Giles Constant" <giles@spacepigs.com>
In-Reply-To: <151970AC-218A-40F1-8963-51A30ED76F94@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <200801111239.05507.giles@spacepigs.com>
	 <4a708d20801111232o4a67fd78s46a765b0db1ba453@mail.gmail.com>
	 <151970AC-218A-40F1-8963-51A30ED76F94@gmail.com>
X-Spam: no; 0.00; martinet:01 ocaml:01 ocaml:01 stdout:01 caml-list:01 pervasive:01 pervasive:01 int:01 strings:01 defined:02 output:02 string:02 executable:03 executable:03 module:03 

The -nopervasive switch simply does not load the Pervasive module
which is integrated in any executable ocaml normally produce... And
you're here using print_string which is in this module :)


Well, all the ways I know to output strings or whatever use Pervasive,
so I can't help you to replace it (I think even stdout is defined in
Pervasive~), but if you only want to get a small executable (let's say
you don't mind to return the int 42, instead of printing it), this
could help.