From: "Daniel Bünzli" <daniel.buenzli@erratique.ch>
To: Jeremie Dimino <jdimino@janestreet.com>
Cc: Caml-list <caml-list@inria.fr>
Subject: Re: [Caml-list] GADT existential escape
Date: Thu, 19 Mar 2015 12:34:50 +0100 [thread overview]
Message-ID: <2348689A54DF4FA68C3CA24599F16698@erratique.ch> (raw)
In-Reply-To: <CANhEzE56HrXez4uqiRs0SfzWYY8o_1x7ynFvG9zRizgu41KHqQ@mail.gmail.com>
Le jeudi, 19 mars 2015 à 12:05, Jeremie Dimino a écrit :
> Core should work in the toplevel, why is it failing?
> ocaml
OCaml version 4.01.0
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
# #require "core";;
[…]
/Users/dbuenzli/.opam/4.01.0/lib/sexplib_unix/sexplib_unix.cma: loaded
/Users/dbuenzli/.opam/4.01.0/lib/core: added to search path
# #require "core";;am/4.01.0/lib/core/core.cma: loaded
Error: Reference to undefined global `Condition'
Here's a bit of config info:
> opam config report
# OPAM status report
# opam-version 1.2.0
# self-upgrade no
# os darwin
# external-solver aspcud
# criteria -count(removed),-notuptodate(request),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution)*
# jobs 1
# repositories 1* (http), 1 (version-controlled)
# pinned 16 (version control)
# current-switch 4.01.0
# last-update 2015-03-15 10:44
> opam info core -f installed-version
111.28.01 [4.01.0]
next prev parent reply other threads:[~2015-03-19 11:36 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-03-19 0:29 Daniel Bünzli
2015-03-19 0:39 ` Milan Stanojević
2015-03-19 1:07 ` Daniel Bünzli
2015-03-19 1:27 ` Milan Stanojević
2015-03-19 10:44 ` Daniel Bünzli
2015-03-19 11:02 ` Jeremy Yallop
2015-03-19 11:34 ` Daniel Bünzli
2015-03-19 13:22 ` Daniel Bünzli
2015-03-19 16:46 ` Milan Stanojević
2015-03-19 17:14 ` Daniel Bünzli
2015-03-19 17:15 ` Frédéric Bour
2015-03-19 17:22 ` Milan Stanojević
2015-03-19 17:41 ` Jeremy Yallop
2015-03-19 18:29 ` Alain Frisch
2015-03-19 16:31 ` Milan Stanojević
2015-03-19 11:05 ` Jeremie Dimino
2015-03-19 11:34 ` Daniel Bünzli [this message]
2015-03-19 11:59 ` Jeremie Dimino
2015-03-20 13:50 ` Yaron Minsky
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=2348689A54DF4FA68C3CA24599F16698@erratique.ch \
--to=daniel.buenzli@erratique.ch \
--cc=caml-list@inria.fr \
--cc=jdimino@janestreet.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox