From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3CCUgRp002482 for ; Thu, 12 Apr 2012 14:30:42 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoABAJnJhk/RVdy2mGdsb2JhbABEuV4IIgEBAQEBCAkNBxQngiICLAEbHgMSEF0BEQEFASI1h10BAwsLmTWCXAqMIIJyhRMKGScNV4h2AQEEC5FzBJVsjlY9hAw X-IronPort-AV: E=Sophos;i="4.75,410,1330902000"; d="scan'208";a="153723290" Received: from mail-vx0-f182.google.com ([209.85.220.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 12 Apr 2012 14:30:36 +0200 Received: by vcmm1 with SMTP id m1so2520194vcm.27 for ; Thu, 12 Apr 2012 05:30:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=MCWCcZfdxaRmIKOkhcAkXU1Gf8xSA4/N19jAfO4JVp0=; b=wWlPnkRltqtQV1IBQRzsrF6ScmS80pyLiZsQsI5FJ7rU/F30TaHt1LtuujSfr/pb+2 q4s+VtLyJvd24eNbPUXpA3G6aY4MAOARldpGccz1FqyGxsdYDyd41ov8a4uPOU/uVwty 895qVKeH0pM93FWocNqnNyDbQEG3xJS2690mhQxxNKlItpRytitpfJ34w3GZXenxjbqT RJzA7MeLCXvPDe06qRPArOZFk5CUJbd2Wo9L7r/oa734cWOcavSsqkVPhxcz/QphvSZH ejlR85zuzar/aCbR92x7L782VCsIK033x322KWOqvOBuxjan+r/pq2mYPhL7cpGa2Til C7CA== Received: by 10.220.106.135 with SMTP id x7mr1265008vco.44.1334233835910; Thu, 12 Apr 2012 05:30:35 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.31.136 with HTTP; Thu, 12 Apr 2012 05:30:15 -0700 (PDT) From: Philippe Veber Date: Thu, 12 Apr 2012 14:30:15 +0200 Message-ID: To: caml users Content-Type: multipart/alternative; boundary=f46d043c7f2ad6353804bd7a850f X-Validation-by: philippe.veber@gmail.com Subject: [Caml-list] Current SVN head and findlib. --f46d043c7f2ad6353804bd7a850f Content-Type: text/plain; charset=ISO-8859-1 Dear camlers, While playing with the upcoming features of our favorite compiler, I found that the current trunk and version/4.00 branch do not work well with findlib (version 1.2.8). I report it here so others might confirm (or not) what I say. OCaml version 4.01.0+dev1_2012-03-31 # #use "topfind";; - : unit = () File "/home/pveber/usr/ocamlbrew/ocaml-svn/trunk/lib/ocaml/topfind", line 37, characters 0-22: Error: Unbound module Topfind What is really surprising is that the toplevel doesn't complain if I copy/paste the contents of topfind directly in the compiler: [gesundheit:~ 14:23]$ocaml < /home/pveber/usr/ocamlbrew/ocaml-svn/trunk/lib/ocaml/topfind OCaml version 4.01.0+dev1_2012-03-31 # * * * * * - : unit = () # * * # Findlib has been successfully loaded. Additional directives: #require "package";; to load a package #list;; to list the available packages #camlp4o;; to load camlp4 (standard syntax) #camlp4r;; to load camlp4 (revised syntax) #predicates "p,q,...";; to set these predicates Topfind.reset();; to force that packages will be reloaded #thread;; to enable threads - : unit = () As you can notice, the install was done using ocamlbrew, but I could reproduce the same problem directly installing ocaml and findlib. As I'd rather not dump some foolishness of mine in mantis, I'd be glad somebody could check this. Using ocamlbrew, this can be as simple as: export OCAMLBREW_FLAGS="-t -a" export OCAMLBREW_BASE=/home/joe/ocamlbrew curl -kL https://raw.github.com/hcarty/ocamlbrew/master/ocamlbrew-install | bash The problem is present if ocamlbrew stops before installing utop. Cheers, Philippe. --f46d043c7f2ad6353804bd7a850f Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear camlers,

While playing with the upcoming features of our favori= te compiler, I found that the current trunk and version/4.00 branch do not = work well with findlib (version 1.2.8). I report it here so others might co= nfirm (or not) what I say.

=A0=A0=A0=A0=A0=A0=A0= OCaml version 4.01.0+dev1_2012-03-31

# #use "topfind";;=
- : unit =3D ()File "/home/pveber/usr/ocamlbrew/ocaml-svn/trunk/l= ib/ocaml/topfind", line 37, characters 0-22:
Error: Unbound module Top= find

What is real= ly surprising is that the toplevel doesn't complain if I copy/paste the= contents of topfind directly in the compiler:

[gesundheit:~ 14:23]$= ocaml < /home/pveber/usr/ocamlbrew/ocaml-svn/trunk/lib/ocaml/topfind
=A0=A0=A0=A0=A0=A0=A0 OCaml version 4.01.0+dev1_2= 012-03-31

#=A0=A0=A0=A0 * *=A0=A0=A0=A0=A0=A0 * * *=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= - : unit =3D ()
#=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0 * *=A0=A0=A0=A0 #=A0=A0=A0=A0 Findlib has been successfully loade= d. Additional directives:
=A0 #require "packag= e";;=A0=A0=A0=A0=A0 to load a package
=A0= #list;;=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 to list the = available packages
=A0 #camlp4o;;=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 to load camlp4 (standard syntax)
=A0 #camlp4r;;=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0 to load camlp4 (revised syntax)
=A0 #predicates "p,q= ,...";;=A0=A0 to set these predicates
=A0= Topfind.reset();;=A0=A0=A0=A0=A0=A0=A0=A0 to force that packages will be r= eloaded
=A0 #thread;;=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 to enable threads

- : unit =3D ()

As you can notice, the install was done using ocamlbrew, but I could re= produce the same problem directly installing ocaml and findlib. As I'd = rather not dump some foolishness of mine in mantis, I'd be glad somebod= y could check this. Using ocamlbrew, this can be as simple as:

export OCAMLBREW_FLAG= S=3D"-t -a"
export OCAMLBREW_BASE=3D= /home/joe/ocamlbrew
curl -kL https://raw.gi= thub.com/hcarty/ocamlbrew/master/ocamlbrew-install | bash

The problem is present if ocamlbrew stops before installing utop.
Cheers,
=A0 Philippe.

--f46d043c7f2ad6353804bd7a850f--