Re: [Caml-list] GADT existential escape

["Daniel Bünzli" <daniel.buenzli@erratique.ch>]

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]