From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lukstafi@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.2 required=5.0 tests=AWL,MAILTO_TO_SPAM_ADDR,
	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 12144BC69
	for <caml-list@yquem.inria.fr>; Sun, 13 Jan 2008 12:30:19 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAEKFiUfRVYT4kmdsb2JhbACQCQEBAQEHAgYpj32GDA
X-IronPort-AV: E=Sophos;i="4.24,278,1196636400"; 
   d="scan'208";a="21176325"
Received: from an-out-0708.google.com ([209.85.132.248])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Jan 2008 12:30:18 +0100
Received: by an-out-0708.google.com with SMTP id b15so482778ana.102
        for <caml-list@yquem.inria.fr>; Sun, 13 Jan 2008 03:30:17 -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:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        bh=EmitLFD0+8Rj4X3gO0OULKl0lp1MNmhyymakdAyBTH8=;
        b=n+Pg8Si6KTgkApck1CyErJggkSNuB/B03gZHG5IJUEBgtlWGYcqtYWb+zLLDIQlblCcKE7mX32Yq6A8f6RpIf/iAww3Yy3kXABEsMqix181/gSbNOxMHy1eJjZrrtxdy2vhZG+a6a+MFmKNu9kgPm80wskCh3CDWsyg092DkstY=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=Dls8Cmb/o4PfT1u5TOHF4dgxhIrS5QGAClPlAB7UH6EZ3/Je7Sm/Vzhi6wZDe1r/Co166wgs/TTpTw7orwSYc0eTs2ZRCY8navTKJSgXBv5Ynp0eJ1w2irqb7erzNevKlJiLAtDJbsyKfZnNxe1EK5YfTKZepWNaqUczDgvs/m4=
Received: by 10.100.112.6 with SMTP id k6mr11311747anc.110.1200223817511;
        Sun, 13 Jan 2008 03:30:17 -0800 (PST)
Received: by 10.101.67.19 with HTTP; Sun, 13 Jan 2008 03:30:17 -0800 (PST)
Message-ID: <4a708d20801130330w3e1d7720t5a8fa24b9591cbd1@mail.gmail.com>
Date: Sun, 13 Jan 2008 12:30:17 +0100
From: "Lukasz Stafiniak" <lukstafi@gmail.com>
To: caml-list@yquem.inria.fr, "Giles Constant" <giles@spacepigs.com>
Subject: Re: [Caml-list] Why is ocaml so big?
In-Reply-To: <b79ece760801130124k42131f25q2439c903e3be6be6@mail.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>
	 <b79ece760801130124k42131f25q2439c903e3be6be6@mail.gmail.com>
X-Spam: no; 0.00; lukasz:01 ocaml:01 martinet:01 stdout:01 pervasives:01 tailored:98 wrote:01 caml-list:01 pervasive:01 pervasive:01 int:01 strings:01 defined:02 output:02 executable:03 

On Jan 13, 2008 10:24 AM, Dominique Martinet <asmadeus77@gmail.com> wrote:
>
> 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.
>
You need to write your own tailored version of "Pervasives".