RE: [Caml-list] Exception Typetexp.Error(_, _) when using Toploop

[Jean-Baptiste Jeannin <jeannin@cs.cornell.edu>]

Hi Jeremie and thanks for your answer,

If I understand correctly you suggest two possible fixes:

First possible fix, copy tree.cmi one level up. I don't like this solution too much but it works:

$ ocamlc -o prog.exe -I subdir toplevellib.cma subdir/tree.ml prog.ml
$ ./prog.exe 
Fatal error: exception Typetexp.Error(_, _)
$ cp subdir/tree.cmi .
$ ./prog.exe 
val t : Tree.tree = Tree.Leaf

Second possible fix, add the line 'Topdirs.dir_directory "subdir";' to prog.ml. This works great, I prefer it and it solves my problem. Thanks a lot!
________________________________________
From: caml-list-request@inria.fr [caml-list-request@inria.fr] On Behalf Of Jérémie Dimino [jeremie@dimino.org]
Sent: Saturday, August 11, 2012 4:34 AM
To: Jean-Baptiste Jeannin
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Exception Typetexp.Error(_, _) when using Toploop

Le Fri, 10 Aug 2012 17:30:26 -0400,
Jean-Baptiste Jeannin <jeannin@cs.cornell.edu> a écrit :

> $ cd ..
> $ ocamlc -o prog.exe -I subdir toplevellib.cma subdir/tree.ml prog.ml
> $ ./prog.exe
> Fatal error: exception Typetexp.Error(_, _)

It is because it cannot find the interface for the module Tree (which
is contained in the file tree.cmi). If you want to compile code at
runtime using compiler libraries you need all .cmi for all units you
are using in this code.

You can add new search paths using Topdirs.dir_directory, which
correspond to the #directory directive in the toplevel.

Cheers,

--
Jérémie

--
Caml-list mailing list.  Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs