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 C22337F778 for ; Fri, 13 May 2016 08:21:57 +0200 (CEST) IronPort-PHdr: 9a23:OwtdEhwe/refPdrXCy+O+j09IxM/srCxBDY+r6Qd0ewQIJqq85mqBkHD//Il1AaPBtWKragcwLOO4+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6DyZ7vnLnqq9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVG7vgeLgxV6EeCTgOPGU85cmtvh7GB0Pb+GEbTmwMj1xNDyDK6Rj7WtH6tS6s5cRn3yzPH9DwVrcyVnyG7u8/TB3zzisOLT038XrXosN1haNf5hmmokoskMbvfIiJOa8mLevmdtQASD8ZUw== Authentication-Results: mail3-smtp-sop.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-f42.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ljs.darkfish@gmail.com) identity=pra; client-ip=209.85.220.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ljs.darkfish@gmail.com designates 209.85.220.42 as permitted sender) identity=mailfrom; client-ip=209.85.220.42; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f42.google.com) identity=helo; client-ip=209.85.220.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="postmaster@mail-pa0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DTBABFcjVXjyrcVdFehA1vDwamBI5khQWBNkAahXoCgSgHOhIBAQEBAQEBAREBAQEBBwsLCSEkC4ItghUBAQEDARIRHQEbHQEDAQsGAwILDSoCAiEBAREBBQEcBhMIGodyAQMPCJA2j0KBMT4xizuBaoJYBYcqChknDVKDWwEBAQEBAQQBAQEBAQEBGAIGEIpigkOBSIM0glkBBI5TiSMxhX6GJ4F5gWlOhAGIYYYtgS+GJxIegQ4nDIInHoF1HDKIWgEBAQ X-IPAS-Result: A0DTBABFcjVXjyrcVdFehA1vDwamBI5khQWBNkAahXoCgSgHOhIBAQEBAQEBAREBAQEBBwsLCSEkC4ItghUBAQEDARIRHQEbHQEDAQsGAwILDSoCAiEBAREBBQEcBhMIGodyAQMPCJA2j0KBMT4xizuBaoJYBYcqChknDVKDWwEBAQEBAQQBAQEBAQEBGAIGEIpigkOBSIM0glkBBI5TiSMxhX6GJ4F5gWlOhAGIYYYtgS+GJxIegQ4nDIInHoF1HDKIWgEBAQ X-IronPort-AV: E=Sophos;i="5.24,612,1454972400"; d="scan'208,217";a="177670398" Received: from mail-pa0-f42.google.com ([209.85.220.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 May 2016 08:21:56 +0200 Received: by mail-pa0-f42.google.com with SMTP id iv1so37430930pac.2 for ; Thu, 12 May 2016 23:21: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=B4RPLb8E/T9XHQYkWg4oQ9eH6+MaXa3MagytpryjI4c=; b=iwoau8EeEYJYA8VeerHCpgHrzVAU/87UIYXs2IUNkwkdGNocElJEWQoXENsjo2luKr zbPYVujTWn52dIkx2ujvNxZ6IMV4pVBvHQHO47R5HTriWOk/mgdp0XvGnrB32+ugGF5N AwrBDoSfqderv4lnLjeJ77IrLFbTtNXI4Yj1IhilCWaVtiqg0TzFa1yE5PVuNP1veN7x 0fFXHxj254ntG0IbYwNiFiZqUp5T7ipucfCaEBR5S6UGb9vHay+rHFHRPDCxMSDs/sJ6 fyEpXXVtIFGvZ/CsV9DwzzE84EXpWyFR8KJYQjB0z4icEw69pW7mVsIPLklwwyu6qHtk opbA== 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=B4RPLb8E/T9XHQYkWg4oQ9eH6+MaXa3MagytpryjI4c=; b=Y4rVXfU7aq4BSeXVAcjHb1bGARowV3GOAntQriRbjUGbD+eFj00x83tE3FZIvUR3LK /0HYW3Q2v7/Px9sSJ3E1pFRTORbLfyU90xh6rcGg2PPRqOggeHQTHjcduD++32QmDIzF Hxo20NQXKGUu9sxPc0OnFR/JdO0wAXSEk6TURFQnsKU8UARjy7QqluAx1KYf0m4S2UWR 4aiOqHY2FMG0wlmrFqz65ZeIs4lSopJtkFSnEdyfECvDwc1whoc0WY6GL7xwxUbM4vjG PtvxlmFfI6jdcidKRhxLG5HVsCegxxqWHsK5YVZM/Rii7IznWlqN+pEj1LLh3eHwO7bg NctA== X-Gm-Message-State: AOPr4FXY0QsSOEmz8U9I6UBuvqwk5fK/yI46x5OyQsHBH9PaLihSWRVV0wZdX9lr02mV3L1Jkw6iJhfo2WDxxQ== MIME-Version: 1.0 X-Received: by 10.66.123.105 with SMTP id lz9mr20125956pab.37.1463120514110; Thu, 12 May 2016 23:21:54 -0700 (PDT) Received: by 10.66.121.200 with HTTP; Thu, 12 May 2016 23:21:54 -0700 (PDT) In-Reply-To: References: Date: Thu, 12 May 2016 23:21:54 -0700 Message-ID: From: Junsong Li To: "vrotaru.md@gmail.com" Cc: Andrew Shi-hwa Chen , caml users Content-Type: multipart/alternative; boundary=047d7bf0e5c881de850532b34ab0 Subject: Re: [Caml-list] ocaml-top on 4.03.0 ? --047d7bf0e5c881de850532b34ab0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 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 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 < > 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 >>> 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 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 k= nown >>> 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 le= t 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 >>> >>> > --047d7bf0e5c881de850532b34ab0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Andrew,

A patch was delivered yester= day, so run `opam update` before `opam install ocp-indent`. You should be a= ble to install without problem now.


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

<= div>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.
<= div class=3D"h5">

= 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, yet.
At lea= st, 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 co= mpiles (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:
I'm new to OC= aml 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 exper= ience with OCaml be with multicore OCaml (I had a list of criteria that I w= as looking for in my next language, and OCaml was almost perfect until mult= icore support came along - when it came along, that made it perfect and wor= th overcoming the inertia of trying to switch from my current language of d= aily 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 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 helpi= ng to determine when a problem is a build environment issue as opposed to a= n issue with an existing package that just needs to be updated, please let = me know what they are.

Thanks,
Andrew
<= br>

#=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-fi= le=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
# ocp-build ocp-index-lib
#= ## stderr ###
# [...]
# [33.1] '/Users/chenan/.opam/4.03.0/bin/oc= amlc.opt' '-g' '-w' '+1..39-4-9-37-40' '-sa= fe-string' '-bin-annot' '-c' '-o' '_obuild/= 7ee5d0cd3cfec6c5ba81000630d4c060/indexOut.cmo' '-I' './_obu= ild/ocp-index-lib' '-I' './src' '-I' '/User= s/chenan/.opam/4.03.0/lib/ocp-indent/utils' '-I' '/Users/ch= enan/.opam/4.03.0/lib/ocaml/compiler-libs' '-I' '/Users/che= nan/.opam/4.03.0/lib/ocp-indent/lexer' 'src/indexOut.ml'
# <= br># File "src/indexOut.ml", line 184, characters 17-25:
# Err= or: 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 pattern was expected which match= es 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-inde= x-lib/indexOut.cmo not built
# make: *** [ocp-index-lib] Error 2

=


--047d7bf0e5c881de850532b34ab0--