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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id EF6657F8EE for ; Wed, 21 May 2014 14:25:20 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ollie.frolovs.2012@my.bristol.ac.uk) identity=pra; client-ip=209.85.212.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ollie.frolovs.2012@my.bristol.ac.uk"; x-sender="ollie.frolovs.2012@my.bristol.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ollie.frolovs.2012@my.bristol.ac.uk) identity=mailfrom; client-ip=209.85.212.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ollie.frolovs.2012@my.bristol.ac.uk"; x-sender="ollie.frolovs.2012@my.bristol.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f172.google.com) identity=helo; client-ip=209.85.212.172; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ollie.frolovs.2012@my.bristol.ac.uk"; x-sender="postmaster@mail-wi0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQBAOeafFPRVdSslGdsb2JhbABZyEgBgQoWDgEBAQEHCwsJEiqCJQEBBAF+CwtGIRMBBQEcBhOILQMJCAQBo32rEA1XhU0XjDmBYjqDK4EVBJd5iGCEKoIdhAFBhGk X-IPAS-Result: AlQBAOeafFPRVdSslGdsb2JhbABZyEgBgQoWDgEBAQEHCwsJEiqCJQEBBAF+CwtGIRMBBQEcBhOILQMJCAQBo32rEA1XhU0XjDmBYjqDK4EVBJd5iGCEKoIdhAFBhGk X-IronPort-AV: E=Sophos;i="4.98,879,1392159600"; d="scan'208";a="62988387" Received: from mail-wi0-f172.google.com ([209.85.212.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 May 2014 14:25:12 +0200 Received: by mail-wi0-f172.google.com with SMTP id hi2so7556393wib.5 for ; Wed, 21 May 2014 05:25:12 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:content-type:mime-version:subject:from :in-reply-to:date:content-transfer-encoding:message-id:references:to; bh=r2Ln493jmmN6fI70jNYPkW1Rvn7qKOjdUH2fOzQr7jI=; b=X47Y+VurOZtC2n3QfccyMThZOdbhrXKmQbl0/SkM61Pa9MfUd5Z+6dnX4tRB4aENeG yCLsGT6/pRo8HFQYoIgb358KfIBRtbBc2SZhDDIT173DbxdoeURTanQX+tdv/qY55+ye vQfPjF4iUr6MNTtMt+QsavCbac1TR6N33r/955ItaVwnS9722lLjynfr3JPN/r4bHiCd NK0WGdYy0ZPEz8o/QKqupEw/sYfIJ/R8w5HVutENSQbNPBVtxqbTsPlZl0isdfbtvBfB 3MQKsDF6QarkW15YJz/L/Vukxfyi7NkwvTS82D0KPvqj+S4CeMkUNTDoKlGLIOfoc1P3 UAfw== X-Gm-Message-State: ALoCoQln8rY4knJXqYr1OMPhJkIonkuTQ3u37kTQ/BdQP1A9k2R/FZyVEUVFtf+QPUTTkXkdl8X4 X-Received: by 10.180.84.129 with SMTP id z1mr10061180wiy.8.1400675112348; Wed, 21 May 2014 05:25:12 -0700 (PDT) Received: from [172.20.10.5] (94.197.120.245.threembb.co.uk. [94.197.120.245]) by mx.google.com with ESMTPSA id bj5sm2074583wib.3.2014.05.21.05.25.10 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 21 May 2014 05:25:11 -0700 (PDT) Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.2\)) From: Ollie Frolovs In-Reply-To: Date: Wed, 21 May 2014 13:25:08 +0100 Content-Transfer-Encoding: quoted-printable Message-Id: <2ABC1954-90FF-41CF-AB18-0C228A51CB8E@my.bristol.ac.uk> References: <762DAB52-9D2E-4002-80B0-526258DD7856@my.bristol.ac.uk> To: caml users X-Mailer: Apple Mail (2.1878.2) X-Validation-by: ollie.frolovs.2012@my.bristol.ac.uk Subject: Re: [Caml-list] Random.self_init in Jane Street Core oh dear! i think i know what happened. self_init has never been called in t= he first place! it requires a unit argument which i did not give it, so the= =93alias=94 to Random.self_init was assigned to nothing, so to speak, inst= ead of calling the function.=20 Many thanks, Dmitry! I=92ve amended that line to let () =3D Random.self_ini= t () and it works. On 21 May 2014, at 13:18, Dmitry Grebeniuk wrote: > Hello. >=20 >> let _ =3D Random.self_init >=20 > That's why I almost never use "let _ =3D ...", or > constrain "_" to some type when I use it. > Try to replace it with "let () =3D ..." and follow compiler > errors. Or with "let (_ : unit) =3D ...".