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 4F9567F780 for ; Fri, 13 May 2016 07:55:57 +0200 (CEST) IronPort-PHdr: 9a23:iRwTXB9v4MCiLf9uRHKM819IXTAuvvDOBiVQ1KB91e4cTK2v8tzYMVDF4r011RmSDdSdsaoP2rGempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lS8iI14/mjKibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0vdBaVrnzZbl+SLBwAzEvMmRz78ru/1GXUxGI+nIGTyMTnjJHBgHE6FfxWZKn4QXgse8o+jScJsrwQvgQWHz266VwDhPhkiQJNiU52G7Sg810yqlcpUTy9FRE34fIbdTNZ7JFdaTHcIZCSA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ljs.darkfish@gmail.com; spf=Pass smtp.mailfrom=ljs.darkfish@gmail.com; spf=None smtp.helo=postmaster@mail-pa0-f51.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ljs.darkfish@gmail.com) identity=pra; client-ip=209.85.220.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ljs.darkfish@gmail.com designates 209.85.220.51 as permitted sender) identity=mailfrom; client-ip=209.85.220.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@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-pa0-f51.google.com) identity=helo; client-ip=209.85.220.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="postmaster@mail-pa0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DDBgBTazVXjzPcVdFeg1Y3bw8GpgSBGo1KhjtAGoV6AoEoBzsRAQEBAQEBAQERAQEBAQcLCwkhJAuCLYIWAQEDARIRHQEbHQEDAQsGAwILNwICIQEBEQEFARwGEyKHcgEDDwiQKo9CgTE+MYs7gWqCWAWHKgoZJw1Sg1sBAQEBAQEEAQEBAQEBARgCBhCKYoJDgUiDNIJZBY5TiSMxhX6GJ4F5gWlOhAGIYYdchicSHoEONoIkHoF1HDKIWgEBAQ X-IPAS-Result: A0DDBgBTazVXjzPcVdFeg1Y3bw8GpgSBGo1KhjtAGoV6AoEoBzsRAQEBAQEBAQERAQEBAQcLCwkhJAuCLYIWAQEDARIRHQEbHQEDAQsGAwILNwICIQEBEQEFARwGEyKHcgEDDwiQKo9CgTE+MYs7gWqCWAWHKgoZJw1Sg1sBAQEBAQEEAQEBAQEBARgCBhCKYoJDgUiDNIJZBY5TiSMxhX6GJ4F5gWlOhAGIYYdchicSHoEONoIkHoF1HDKIWgEBAQ X-IronPort-AV: E=Sophos;i="5.24,612,1454972400"; d="scan'208,217";a="218106730" Received: from mail-pa0-f51.google.com ([209.85.220.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 May 2016 07:55:56 +0200 Received: by mail-pa0-f51.google.com with SMTP id iv1so37194148pac.2 for ; Thu, 12 May 2016 22:55:56 -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; bh=H5yNw/viSuCR4Mv5aby+1mQ3rlF9uTU+O6H8M9HJKlU=; b=lRavxosET/sopJ6NKijNYcYecbvcytFfdJkPpnpgSvUBb47Ek2BbFuqMjBPJCsEatC PkvHLIGs4tc3dOy/bDTIIUqPHe7d/HBD7ZVxrdAkhubX6G4rwS0rqjexGns1Mj3GCg7w 57IYfOqQCVTz1koYo7h8u7jQhx4p2Dfa2zBD4RoLHw+pObhG89sqIOoL/5U77ywclTL1 kZ5Ygkm2A/hlRXdt4KGMQH5NeeXq63u9GbqyTRg7QUKZy76cxARfWVfh17OtewxPC1KB +TDJ8RAjzhCDu7+2rmVMB2PSCNaOiIbpvzHfP95TTyqDIPeHKPWVuCfKzTpqob/h6YVJ n5lQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=H5yNw/viSuCR4Mv5aby+1mQ3rlF9uTU+O6H8M9HJKlU=; b=nHtqxgSlVyQv3dLDiuICCzBcTpZKdoDMec5DKJSQH5kxf3mKuHFlkSo3Z/QOo7jOK4 h9csloHX4HvvY5wTsZSkZYD+tWViSbZK4QxwyvjP66ZbHwfWrBELafcSTHJM/DKqEyCe w4BLAJfQhVjMRmbjHUWeUYDEzvGt5N+Kun1PhQylRSQrxYhfFlZ0g0cLyd53G5qdznqa YYrCliTIXtbuWlYpeYdnqPPVWu3I71okT9INtm8wFRh15hFGf60R2QUsQWtz9ygy6jWZ KNbIHP+06Fvj6WFxYhCOaqLLosgZp1cLZCgKqmeYFbrb5i8/TjpdSNCr8CV2h9Dii2aD Ey+w== X-Gm-Message-State: AOPr4FXrEWG66MuiVGjCCT5YieFEjYu9QNy1xhoGPbGEGj1b0d9/BFe8eJPKpssGR3yHBL8209JbnuLl1zs8cw== MIME-Version: 1.0 X-Received: by 10.66.176.103 with SMTP id ch7mr19982453pac.20.1463118954440; Thu, 12 May 2016 22:55:54 -0700 (PDT) Received: by 10.66.121.200 with HTTP; Thu, 12 May 2016 22:55:54 -0700 (PDT) In-Reply-To: References: Date: Thu, 12 May 2016 22:55:54 -0700 Message-ID: From: Junsong Li To: "vrotaru.md@gmail.com" Cc: Andrew Shi-hwa Chen , caml users Content-Type: multipart/alternative; boundary=047d7bdc8af08b314d0532b2edb7 Subject: Re: [Caml-list] ocaml-top on 4.03.0 ? --047d7bdc8af08b314d0532b2edb7 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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 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 wrote: > Sorry to disappoint you, but there is no multicore support in 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 which 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. > > > =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 installe= d. >> >> 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 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, 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 kn= own >> issue, let me know and I'll wait for a fix. If this is due to some issue >> with my build environment, please direct me to appropriate resources for >> 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 let 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-a00279.= env >> # stdout-file >> /Users/chenan/.opam/4.03.0/build/ocp-index.1.1.4/ocp-index-13029-a00279.= out >> # stderr-file >> /Users/chenan/.opam/4.03.0/build/ocp-index.1.1.4/ocp-index-13029-a00279.= 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 >> >> --047d7bdc8af08b314d0532b2edb7 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Oops, just tried. I got the same compilation error, so it = is not your building environment.

Since you just get sta= rted, 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 no= w. And many tools still have problems with 4.03.0 (Batteries is released to= day for 4.03.0, yeah!) and certainly you don't want to deal with these = overhead when you just get started.

Anyway, welcom= e to the list.

On Wed, May 11, 2016 at 11:31 PM, vrotaru.md@gmail.com <vrotaru.md@gmail.com> w= rote:
Sorry to disappoin= t you, but there is no multicore support in OCaml, yet.
At least, in a = form which which is suitable for beginners. (Cause you can span a thread fr= om C, or use a very-very devel branch which 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.


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

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 almo= st perfect until multicore support came along - when it came along, that ma= de it perfect and worth overcoming the inertia of trying to switch from my = current language of daily use).

Unfortunately, ocam= l-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 an= d I'll wait for a fix. If this is due to some issue with my build envir= onment, please direct me to appropriate resources for figuring out how to r= emedy this problem.

Furthermore, if there are good resour= ces 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 let 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=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 darwin# 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-index.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<= br># 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
# ocp-bu= ild ocp-index-lib
### stderr ###
# [...]
# [33.1] '/Users/che= nan/.opam/4.03.0/bin/ocamlc.opt' '-g' '-w' '+1..39-= 4-9-37-40' '-safe-string' '-bin-annot' '-c' = 9;-o' '_obuild/7ee5d0cd3cfec6c5ba81000630d4c060/indexOut.cmo' &= #39;-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, cha= racters 17-25:
# Error: This pattern matches values of type 'a * = 9;b * 'c
#=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 but a pattern w= as 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:
# Ta= rget _obuild/ocp-index-lib/indexOut.cmo not built
# make: *** [ocp-index= -lib] Error 2


--047d7bdc8af08b314d0532b2edb7--