From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=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 2DA78BC6B for ; Sun, 13 Jan 2008 03:23:38 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAFoEiUdC+VypmGdsb2JhbACQCQEBAQEHBAQrkCaGEA X-IronPort-AV: E=Sophos;i="4.24,277,1196636400"; d="scan'208";a="21169767" Received: from ug-out-1314.google.com ([66.249.92.169]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Jan 2008 03:23:37 +0100 Received: by ug-out-1314.google.com with SMTP id k40so758483ugc.18 for ; Sat, 12 Jan 2008 18:23:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer; bh=lrjlnKmJNefkh0g77kA1EUfeYW8cZagD9HUeASaBitQ=; b=a+vGjoCMGszNLdQObTz0UkBadtVHDN8leky2+5w0WeTomV25POdiSqUCTopV6zC9YzqnI9wTeZ2o3s8b2j/bq2/F4BeJfFtRjN4sdXqzzm/sWh8H+gLhGRqyUf4jB7Nw1IZk0TVORbauggqhNRoKBdBahjV07vGfA2yse5NRNXI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer; b=SE4aRoW7n2255ABEsUHX6y2ar1NMQI7xZv6/7gX2eV+mGOO6iRNmHemWqKIzaAC+bhA1s/WbMiV5L778hGYwRcM/5CFm80LDge/IbFkq7/CYrD/rbOTtGbrToSvJsqEQSoUKYUW2uu0TS5bgwaYWbBrh8p2+HjJHHThvx0Ea5oQ= Received: by 10.67.23.5 with SMTP id a5mr2165664ugj.8.1200191016788; Sat, 12 Jan 2008 18:23:36 -0800 (PST) Received: from ?192.168.1.36? ( [79.145.11.219]) by mx.google.com with ESMTPS id i4sm2004300nfh.36.2008.01.12.18.23.34 (version=SSLv3 cipher=OTHER); Sat, 12 Jan 2008 18:23:35 -0800 (PST) Cc: "Giles Constant" , caml-list@yquem.inria.fr Message-Id: <151970AC-218A-40F1-8963-51A30ED76F94@gmail.com> From: Joel Reymont To: Lukasz Stafiniak In-Reply-To: <4a708d20801111232o4a67fd78s46a765b0db1ba453@mail.gmail.com> Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v915) Subject: Re: [Caml-list] Why is ocaml so big? Date: Sun, 13 Jan 2008 02:23:32 +0000 References: <200801111239.05507.giles@spacepigs.com> <4a708d20801111232o4a67fd78s46a765b0db1ba453@mail.gmail.com> X-Mailer: Apple Mail (2.915) X-Spam: no; 0.00; ocaml:01 lukasz:01 ocamlopt:01 ocamlopt:01 -nostdlib:01 pervasives:01 cmx:01 pervasives:01 unbound:01 wrote:01 caml-list:01 string:02 example:10 file:11 doesn't:12 On Jan 11, 2008, at 8:32 PM, Lukasz Stafiniak wrote: > For a starter, try 3.10.1 with -nopervasives: > - PR#4174 ocamlopt: fixed ocamlopt -nopervasives Is it possible to see a small example of how this works? This doesn't work for me: ocamlopt -nostdlib -nopervasives -o hello pervasives.cmx hello.ml File "hello.ml", line 1, characters 0-23: Unbound value Pervasives.print_string Thanks, Joel -- http://wagerlabs.com