From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 75C8D7EEBF for ; Sat, 8 Aug 2015 00:25:15 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leonidr@gmail.com) identity=pra; client-ip=209.85.218.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leonidr@gmail.com"; x-sender="leonidr@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of leonidr@gmail.com designates 209.85.218.43 as permitted sender) identity=mailfrom; client-ip=209.85.218.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leonidr@gmail.com"; x-sender="leonidr@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-oi0-f43.google.com) identity=helo; client-ip=209.85.218.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leonidr@gmail.com"; x-sender="postmaster@mail-oi0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DGAgDML8VVmyvaVdFbhFgGgx6uU5RoB0wBAQEBAQESAQEBAQEGCwsJIS6EPBEdARsRDQMSAwYBBjcCJAERAQUBIjWHdgEDEppRjTqCBYEuPjGLP4FsgnmLJgoZJw1XhHsBBQ6TOoFDBZUIjFyYKRIjgRcXhCgiMYJMAQEB X-IPAS-Result: A0DGAgDML8VVmyvaVdFbhFgGgx6uU5RoB0wBAQEBAQESAQEBAQEGCwsJIS6EPBEdARsRDQMSAwYBBjcCJAERAQUBIjWHdgEDEppRjTqCBYEuPjGLP4FsgnmLJgoZJw1XhHsBBQ6TOoFDBZUIjFyYKRIjgRcXhCgiMYJMAQEB X-IronPort-AV: E=Sophos;i="5.15,631,1432591200"; d="scan'208";a="142294068" Received: from mail-oi0-f43.google.com ([209.85.218.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Aug 2015 00:25:14 +0200 Received: by oihn130 with SMTP id n130so63384620oih.2 for ; Fri, 07 Aug 2015 15:25:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=BY/0sxQlaC5jr2F6/lU1rOjwZftDIq4siR47a0HR3k8=; b=BQIT4gbBE1fp+/jTQ1SaccYZDvRKGhcwtzK85nBdpJqd8FDZYoqrevO3IXDZL62xiH UZaGXmN6Wc66dA06VnZA9YDiT1Kt0GbkZRix3MsABSVRTYZXLG5ilUz7drqq+E1DxjMG KqvHmpji5vZ2ilwkidpBwI1HSFTVya7af2RvjDJOK8nzi+vTIO4fbgselmlcUOKcyq7q QkzWR/18fpQr2sy116d6HPCRGSOooFIU8yWY9Kf+caE3nffehVIF853h+IWzWFDRa5Ub wYswn8gZwWHmiUmqdRTwZb3qSI3lnp+ghSCN5s0MCZ7cytPJXLQ+iAosWjnFzctHfKj8 Oc3Q== MIME-Version: 1.0 X-Received: by 10.202.104.164 with SMTP id o36mr8594447oik.57.1438986312932; Fri, 07 Aug 2015 15:25:12 -0700 (PDT) Received: by 10.76.167.197 with HTTP; Fri, 7 Aug 2015 15:25:12 -0700 (PDT) Date: Fri, 7 Aug 2015 18:25:12 -0400 Message-ID: From: Leonid Rozenberg To: Caml List Content-Type: multipart/alternative; boundary=001a1140fcc804f7f1051cc01ccf Subject: [Caml-list] Learning about compiler-libs --001a1140fcc804f7f1051cc01ccf Content-Type: text/plain; charset=UTF-8 Are there any resources besides the couple of blog posts and reading the source? I found this surprising: OCaml version 4.02.1 # #use "topfind" ;; - : 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 = () # #require "compiler-libs.toplevel" ;; /Users/leonidrozenberg/.opam/4.02.1/lib/ocaml/compiler-libs: added to search path /Users/leonidrozenberg/.opam/4.02.1/lib/ocaml/compiler-libs/ocamlcommon.cma: loaded /Users/leonidrozenberg/.opam/4.02.1/lib/ocaml/compiler-libs/ocamlbytecomp.cma: loaded /Users/leonidrozenberg/.opam/4.02.1/lib/ocaml/compiler-libs/ocamltoplevel.cma: loaded # let a x = x + 1 ;; >> Fatal error: a unbound at toplevel Fatal error: exception Misc.Fatal_error --001a1140fcc804f7f1051cc01ccf Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Are there any resources besides the couple of blog po= sts and reading the source?

I found this surprising:
<= /div>

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 OCaml versio= n 4.02.1

# #use "topfind" ;;
- : unit =3D ()
Findlib= has been successfully loaded. Additional directives:
=C2=A0 #require &q= uot;package";;=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 to load a package
=C2= =A0 #list;;=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 to list the available package= s
=C2=A0 #camlp4o;;=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 to load camlp4 (standard syntax)=C2=A0 #camlp4r;;=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 to load camlp4 (revised syntax)
=C2=A0= #predicates "p,q,...";;=C2=A0=C2=A0 to set these predicates
= =C2=A0 Topfind.reset();;=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 to= force that packages will be reloaded
=C2=A0 #thread;;=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0 to enable threads

- : unit =3D ()
# #require "compiler-l= ibs.toplevel" ;;
/Users/leonidrozenberg/.opam/4.02.1/lib/ocaml/comp= iler-libs: added to search path
/Users/leonidrozenberg/.opam/4.02.1/lib/= ocaml/compiler-libs/ocamlcommon.cma: loaded
/Users/leonidrozenberg/.opam= /4.02.1/lib/ocaml/compiler-libs/ocamlbytecomp.cma: loaded
/Users/leonidr= ozenberg/.opam/4.02.1/lib/ocaml/compiler-libs/ocamltoplevel.cma: loaded
= # let a x =3D x + 1 ;;
>> Fatal error: a unbound at toplevel
Fa= tal error: exception Misc.Fatal_error
--001a1140fcc804f7f1051cc01ccf--