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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id EB4F77F778 for ; Fri, 13 May 2016 11:39:57 +0200 (CEST) IronPort-PHdr: 9a23:9/7YbRyAASwcl8vXCy+O+j09IxM/srCxBDY+r6Qd0OsSIJqq85mqBkHD//Il1AaPBtWKragdwLOK+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt+U1Z38jrz60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mouxdV779eatwab0QWDAkKCY57dfouxjYTSOA43IdViMdlR8eR0CP8gv9Qp7rr23/usJy3SCbOYv9SrV+EWC89aB3QQX1ziILHzE8+WDTzMd3ifQIjgimoklRyoTOYYqYfN5zNo3QZsgTQ3YJCuhYXTZACY76S4Y4AecaJu9es6H8oUEPpF2wH1//V6vU1jZUiyqujuUB2OM7HFSe0Q== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Fabrice.Le_fessant@inria.fr; spf=Pass smtp.mailfrom=fabrissimo@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f50.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Fabrice.Le_fessant@inria.fr) identity=pra; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="Fabrice.Le_fessant@inria.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 74.125.82.50 as permitted sender) identity=mailfrom; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f50.google.com) identity=helo; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-wm0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DMBAAMoDVXjzJSfUpehA1+pX2HdoZuhQWBNmKHJDoSAQEBAQEBAQERAQEBAQcLCwkhL4ItghUBAQEDARIRVgULCQILAwoqAgIhARIBBQEcBgESIodzAw8IDpBmj0KBMT4xizuMQw2EOAEBASMQimKCQ4FIgzSCWQWXdjGFfoYngXmBaU6EAYhhhi2BL4YnMIEODxgGhCA8MgGIWQEBAQ X-IPAS-Result: A0DMBAAMoDVXjzJSfUpehA1+pX2HdoZuhQWBNmKHJDoSAQEBAQEBAQERAQEBAQcLCwkhL4ItghUBAQEDARIRVgULCQILAwoqAgIhARIBBQEcBgESIodzAw8IDpBmj0KBMT4xizuMQw2EOAEBASMQimKCQ4FIgzSCWQWXdjGFfoYngXmBaU6EAYhhhi2BL4YnMIEODxgGhCA8MgGIWQEBAQ X-IronPort-AV: E=Sophos;i="5.24,613,1454972400"; d="scan'208,217";a="218146870" Received: from mail-wm0-f50.google.com ([74.125.82.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 May 2016 11:39:53 +0200 Received: by mail-wm0-f50.google.com with SMTP id n129so15187634wmn.1 for ; Fri, 13 May 2016 02:39:53 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=rY5T2ByT4Zw4Jq5wWvcW1DRUv85+P7syrW/qneWACvE=; b=M/iGwQ1IBTMGWHHo1wQYVlPW2MsX3SPXJcQJfg44wAQISDY+05L64eRBU9H0UWPshL 8dfC6mrWLlGLY15cFIJ9YZcw57S0J8AHrsgO2kd90yrxySPvYMIMXa/Xt8j7v4JZoUNy VPNP/hiaHDUje2lrBdJmM8Dsmh2Pu8gwizh2Bi1q+hk6N02kIR3cFPc0/Ai3PcoJ/X0k O2iAUPfciRH9lLCRb5CuuVVr9lVmKUQGtb8h92p10QHlU/T6QIgNdFTTH2F55cnoXCev 4rwUA9B9RMM0w3wE/gtk9qdUKr8EDvfWUwZmYS4pD4OMCuhh1R8tcPtkT5oMQPwztzNV wFAQ== X-Gm-Message-State: AOPr4FVGJ4DspkCVuSiZmRgB0s5w2zWXGCNeFSDx6iDwtjfdzyIBAQEp/deIqpwHUMOpVUBFObPca1TbKuthbA== X-Received: by 10.28.25.129 with SMTP id 123mr2630546wmz.10.1463132393235; Fri, 13 May 2016 02:39:53 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Fabrice Le Fessant Date: Fri, 13 May 2016 09:39:42 +0000 Message-ID: To: Junsong Li , "vrotaru.md@gmail.com" Cc: Andrew Shi-hwa Chen , caml users Content-Type: multipart/alternative; boundary=001a114d3cee8eeac60532b60eb0 Subject: Re: [Caml-list] ocaml-top on 4.03.0 ? --001a114d3cee8eeac60532b60eb0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Indeed, from http://opam.ocamlpro.com/builder/html/report-last.html#ocaml-top, ocaml-top.1.1.2 works on all versions >=3D 4.00 since yesterday. I also upstreamed a patch to make ocp-index work on all 4.01,4.02 and 4.03. --Fabrice On Fri, May 13, 2016 at 8:22 AM Junsong Li wrote: > Hi Andrew, > > A patch was delivered yesterday, so run `opam update` before `opam install > ocp-indent`. You should be able to install without problem now. > > > On Thu, May 12, 2016 at 10:55 PM, Junsong Li > wrote: > >> Oops, just tried. I got the same compilation error, so it is not your >> building environment. >> >> Since you just get started, I would recommend work on 4.02.3. Multicore >> will be just one piece of the whole OCaml eco-system, so you can hone yo= ur >> skills on the rest for now. And many tools still have problems with 4.03= .0 >> (Batteries is released today for 4.03.0, yeah!) and certainly you don't >> want to deal with these overhead when you just get started. >> >> Anyway, welcome to the list. >> >> On Wed, May 11, 2016 at 11:31 PM, vrotaru.md@gmail.com < >> vrotaru.md@gmail.com> wrote: >> >>> Sorry to disappoint you, but there is no multicore support in OCaml, ye= t. >>> At least, in a form which which is suitable for beginners. (Cause you >>> can span a thread from C, or use a very-very devel branch which support= s it) >>> >>> As for ocaml-top you either switch to a version where it compiles >>> (4.02.3) or wait until ocp-index get fixed. >>> >>> >>> =C3=8En joi, 12 mai 2016 la 02:19, Andrew Shi-hwa Chen >>> a scris: >>> >>>> I'm new to OCaml and trying to get started by getting ocaml-top >>>> installed. >>>> >>>> I really want to use 4.03.0 because I really want to have all my >>>> experience with OCaml be with multicore OCaml (I had a list of criteria >>>> that I was looking for in my next language, and OCaml was almost perfe= ct >>>> until multicore support came along - when it came along, that made it >>>> perfect and worth overcoming the inertia of trying to switch from my >>>> current language of daily use). >>>> >>>> Unfortunately, ocaml-top has ocp-indent as a dependency, and when I try >>>> to install ocp-indent, I get the following error. If this is due to a = known >>>> issue, let me know and I'll wait for a fix. If this is due to some iss= ue >>>> with my build environment, please direct me to appropriate resources f= or >>>> figuring out how to remedy this problem. >>>> >>>> Furthermore, if there are good resources or tips for helping to >>>> determine when a problem is a build environment issue as opposed to an >>>> issue with an existing package that just needs to be updated, please l= et me >>>> know what they are. >>>> >>>> Thanks, >>>> Andrew >>>> >>>> >>>> >>>> #=3D=3D=3D ERROR while installing ocp-index.1.1.4 >>>> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D# >>>> # opam-version 1.2.2 >>>> # os darwin >>>> # command make >>>> # path /Users/chenan/.opam/4.03.0/build/ocp-index.1.1.4 >>>> # compiler 4.03.0 >>>> # exit-code 2 >>>> # env-file >>>> /Users/chenan/.opam/4.03.0/build/ocp-index.1.1.4/ocp-index-13029-a0027= 9.env >>>> # stdout-file >>>> /Users/chenan/.opam/4.03.0/build/ocp-index.1.1.4/ocp-index-13029-a0027= 9.out >>>> # stderr-file >>>> /Users/chenan/.opam/4.03.0/build/ocp-index.1.1.4/ocp-index-13029-a0027= 9.err >>>> ### stdout ### >>>> # ocp-build -init >>>> # ocp-build ocp-index-lib >>>> ### stderr ### >>>> # [...] >>>> # [33.1] '/Users/chenan/.opam/4.03.0/bin/ocamlc.opt' '-g' '-w' >>>> '+1..39-4-9-37-40' '-safe-string' '-bin-annot' '-c' '-o' >>>> '_obuild/7ee5d0cd3cfec6c5ba81000630d4c060/indexOut.cmo' '-I' >>>> './_obuild/ocp-index-lib' '-I' './src' '-I' >>>> '/Users/chenan/.opam/4.03.0/lib/ocp-indent/utils' '-I' >>>> '/Users/chenan/.opam/4.03.0/lib/ocaml/compiler-libs' '-I' >>>> '/Users/chenan/.opam/4.03.0/lib/ocp-indent/lexer' 'src/indexOut.ml' >>>> # >>>> # File "src/indexOut.ml", line 184, characters 17-25: >>>> # Error: This pattern matches values of type 'a * 'b * 'c >>>> # but a pattern was expected which matches values of type >>>> # Outcometree.out_val_decl >>>> # >>>> # Error: >>>> # Target _obuild/ocp-index-lib/indexOut.cmo not built >>>> # make: *** [ocp-index-lib] Error 2 >>>> >>>> >> > --001a114d3cee8eeac60532b60eb0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Indeed, from=C2=A0http://opam.ocamlpro.com/builder/html/= report-last.html#ocaml-top, ocaml-top.1.1.2 works on all versions >= =3D 4.00 since yesterday.
I also upstreamed a patch to make ocp-index w= ork on all 4.01,4.02 and 4.03.
--Fabrice

On Fri, May 13, 2016 at 8:22 AM Junsong = Li <ljs.darkfish@gmail.com= > wrote:
Hi And= rew,

A patch was delivered yesterday, so run `opam updat= e` before `opam install ocp-indent`. You should be able to install without = problem now.


On Thu, May 12, 2016 at 10:55 PM, Junsong Li <l= js.darkfish@gmail.com> wrote:
Oops, just tried. I got the same compilation error, so = it is not your building environment.

Since you just get = started, I would recommend work on 4.02.3. Multicore will be just one piece= of the whole OCaml eco-system, so you can hone your skills on the rest for= now. And many tools still have problems with 4.03.0 (Batteries is released= today for 4.03.0, yeah!) and certainly you don't want to deal with the= se overhead when you just get started.

Anyway, wel= come to the list.

On Wed, May 11, 2016 at 11:31 PM, vrotaru.md@gmail.com <vrot= aru.md@gmail.com> wrote:
Sorry to disappoint you, but there is no multicore support i= n OCaml, yet.
At least, in a form which which is suitable for beginners= . (Cause you can span a thread from C, or use a very-very devel branch whic= h supports it)

As for ocaml-top you either switch = to a version where it compiles (4.02.3) or wait until ocp-index get fixed.<= /div>


=C3=8En joi, 12 mai 2016 la 02:19, Andrew Shi-hwa Chen <andrewsw@gmail.com>= a scris:
I'm new to OCaml and trying to get started by getting ocaml-top = installed.

I really want to use 4.03.0 because I really w= ant to have all my experience with OCaml be with multicore OCaml (I had a l= ist of criteria that I was looking for in my next language, and OCaml was a= lmost perfect until multicore support came along - when it came along, that= made it perfect and worth overcoming the inertia of trying to switch from = my current language of daily use).

Unfortunately, o= caml-top has ocp-indent as a dependency, and when I try to install ocp-inde= nt, I get the following error. If this is due to a known issue, let me know= and I'll wait for a fix. If this is due to some issue with my build en= vironment, please direct me to appropriate resources for figuring out how t= o remedy this problem.

Furthermore, if there are good res= ources or tips for helping to determine when a problem is a build environme= nt issue as opposed to an issue with an existing package that just needs to= be updated, please let me know what they are.

Than= ks,
Andrew



#=3D=3D=3D ERROR while install= ing ocp-index.1.1.4 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D#
# opam-version 1.2.= 2
# os=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 darwi= n
# command=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 make
# path=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 /Users/chenan/.opam/4.03.0/build/ocp-inde= x.1.1.4
# compiler=C2=A0=C2=A0=C2=A0=C2=A0 4.03.0
# exit-code=C2=A0= =C2=A0=C2=A0 2
# env-file=C2=A0=C2=A0=C2=A0=C2=A0 /Users/chenan/.opam/4.= 03.0/build/ocp-index.1.1.4/ocp-index-13029-a00279.env
# stdout-file=C2= =A0 /Users/chenan/.opam/4.03.0/build/ocp-index.1.1.4/ocp-index-13029-a00279= .out
# stderr-file=C2=A0 /Users/chenan/.opam/4.03.0/build/ocp-index.1.1.= 4/ocp-index-13029-a00279.err
### stdout ###
# ocp-build -init
# o= cp-build ocp-index-lib
### stderr ###
# [...]
# [33.1] '/User= s/chenan/.opam/4.03.0/bin/ocamlc.opt' '-g' '-w' '+1= ..39-4-9-37-40' '-safe-string' '-bin-annot' '-c'= ; '-o' '_obuild/7ee5d0cd3cfec6c5ba81000630d4c060/indexOut.cmo&#= 39; '-I' './_obuild/ocp-index-lib' '-I' './src&= #39; '-I' '/Users/chenan/.opam/4.03.0/lib/ocp-indent/utils'= '-I' '/Users/chenan/.opam/4.03.0/lib/ocaml/compiler-libs' = '-I' '/Users/chenan/.opam/4.03.0/lib/ocp-indent/lexer' '= ;src/indexOut.ml'
#
# File "src/indexOut.ml", line 184= , characters 17-25:
# Error: This pattern matches values of type 'a = * 'b * 'c
#=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 but a patt= ern was expected which matches values of type
#=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Outcometree.out_val_decl
#
# Error:# Target _obuild/ocp-index-lib/indexOut.cmo not built
# make: *** [ocp= -index-lib] Error 2



--001a114d3cee8eeac60532b60eb0--