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 E67507ED7A for ; Tue, 4 Sep 2012 11:16:30 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andrej.bauer@andrej.com) identity=pra; client-ip=209.85.212.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="andrej.bauer@andrej.com"; x-sender="andrej.bauer@andrej.com"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of andrej.bauer@andrej.com) identity=mailfrom; client-ip=209.85.212.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="andrej.bauer@andrej.com"; x-sender="andrej.bauer@andrej.com"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vb0-f54.google.com) identity=helo; client-ip=209.85.212.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="andrej.bauer@andrej.com"; x-sender="postmaster@mail-vb0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AngBAPrFRVDRVdQ2kGdsb2JhbABFhgW1GwgiAQEBAQkJDQcUBCOCIAEBAQQSAg9WEAsLDQICJgICIQESAQUBHAYTIodcAwycEwkDi1SIdg2JUoEhiQljhiCBEgOUBYFUixKDKj6EBQ X-IronPort-AV: E=Sophos;i="4.80,366,1344204000"; d="scan'208";a="154611218" Received: from mail-vb0-f54.google.com ([209.85.212.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Sep 2012 11:16:30 +0200 Received: by vbmv11 with SMTP id v11so11220743vbm.27 for ; Tue, 04 Sep 2012 02:16:29 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:x-gm-message-state; bh=IlDcRtODpkd1zE1LRMtOWnw6KHCCQi/W9p8LaoAKKns=; b=MNtAJwJWwnpTiNN51Io3q8MMq2x4KJ/Ti6FH6cstDDEKXLjP4+BYi/ca9joWerXe3e H7us4oscqgOPOceejECy2X4K/X+dlM5iB/AcxXPMP9alNE/MnM2fDeZt6XNiul7pcoxS 9a6fRvDRmI4HzMeT50YDIkkkwqrM8BYvjvAXpRaTfa/OE+pmyuhTqmzcLQE3uoqGN14X aKQaI9GY49f5qzE+GOTFrNtweSQ959d98bNoeYUNqkQCYgUw1YvUo+V6rS0tF4O8Br8p jb4KSX2Q+hqZCvTzfZ4L68ofcRf2I0RIvHCPER0sK7Hjau/JEBYbuYRLE2N18parK7+y ZFAw== MIME-Version: 1.0 Received: by 10.52.174.82 with SMTP id bq18mr5060016vdc.25.1346750188889; Tue, 04 Sep 2012 02:16:28 -0700 (PDT) Received: by 10.58.236.234 with HTTP; Tue, 4 Sep 2012 02:16:28 -0700 (PDT) In-Reply-To: References: Date: Tue, 4 Sep 2012 11:16:28 +0200 Message-ID: From: Andrej Bauer To: bob zhang Cc: Caml List Content-Type: text/plain; charset=UTF-8 X-Gm-Message-State: ALoCoQmKWLeNeD2kFcwjFBiHRda5WDbliQhflsfWXVFnKpJIyw+Ke3PhLUaJWl/XdK0bT217tylk Subject: Re: [Caml-list] bootstrapping for ocaml's compiler Are there timestamps in the compiled native code? Are hash values for polymorphic variants seeded with external source? What else could happen? On Mon, Sep 3, 2012 at 9:41 PM, bob zhang wrote: > Hi List, > Can anyone tell me that ocaml's native code bootstrapping system can > reach a fixpoint or not? > I am doing my own compiler using ocaml as backend, I found something weird: > the byte-code > compiler can always reach a fix-point, the native-code can reach a fix-point > sometimes, sometimes not. > Is this expected behavior or not? Is there any randomized algorithm used in > ocamlopt? > > Many thanks! > > -- > Regards > -- Bob