From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id E67317ED45 for ; Sun, 24 Jun 2012 21:26:22 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgkCAH5o509KfVI0jmdsb2JhbABEtXQIIgEBAQEJCwkJEgYjghgBAQEDARICLAEbHQEDAQsGBQs7IgERAQUBHAY1h1oBAwYFmjAJA4wjgnGDewoZJw1XiHEBBQyRKQOVLokmhH4+hAA X-IronPort-AV: E=Sophos;i="4.77,467,1336341600"; d="scan'208";a="148593072" Received: from mail-wg0-f52.google.com ([74.125.82.52]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Jun 2012 21:26:22 +0200 Received: by wgbgn7 with SMTP id gn7so3450303wgb.9 for ; Sun, 24 Jun 2012 12:26:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=OTxAGcOq38lQmD0NeA42wZxv1+pHTODeD4lUmuR33Oc=; b=nhyLUqwIcwB/dl01wnhbuFPAm83IDJjpz3WsduJjiFXSoDJTspZYbln47Uh43hQIOo gADpgdUXlJvbYQSsP9PxomHKAq2TC5ElywBkGV1xLlUAMi1NU1z3QBVwbYjUt7cp4WRl nAIzwSnmlpxlRYa2MKGbbUwUs6QTP7yLlQ9bSIRrkHcNQcIi0dURICW6GsgmCeu2kGAA pprgt1jOvk6B19kf2/Govqp59cxp7YqXoPJclxblqYP/wTGBPZzZ6J16TICT0lgrFQtl ewMJG9kBJ0wBFEtPg5aroPaPWSCUISD2leL+qGKyfWajGUIK4epjOpA5vboko8nL4mBC xI3w== MIME-Version: 1.0 Received: by 10.180.102.9 with SMTP id fk9mr22458065wib.1.1340565981828; Sun, 24 Jun 2012 12:26:21 -0700 (PDT) Received: by 10.217.1.8 with HTTP; Sun, 24 Jun 2012 12:26:21 -0700 (PDT) In-Reply-To: <20120624211840.124466j26yxz6rkg@webmail.in-berlin.de> References: <20120624211840.124466j26yxz6rkg@webmail.in-berlin.de> Date: Sun, 24 Jun 2012 21:26:21 +0200 Message-ID: From: Diego Olivier Fernandez Pons To: Oliver Bandel Cc: Gabriel Scherer , caml-list Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] print_int is too slow Oliver > what about print_string( string_of_int !length ^ "\n") (> 2s) print_int !length; print_newline () (0.27s) printf.printf "%i\n" !length (0.22s) print_string (string_of_int !length ^ "\n") (0.21s) print_int !length; print_string "\n" Diego Olivier