From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jeremie@dimino.org>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 2524C7ED67
	for <caml-list@sympa.inria.fr>; Sat, 11 Aug 2012 10:34:38 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jeremie@dimino.org) identity=pra; client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="jeremie@dimino.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of
  jeremie@dimino.org designates 213.186.38.18 as permitted
  sender) identity=mailfrom; client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="jeremie@dimino.org"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@solaria.dimino.org) identity=helo;
  client-ip=213.186.38.18;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeremie@dimino.org";
  x-sender="postmaster@solaria.dimino.org";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnsFADIYJlDVuiYS/2dsb2JhbABEDoUZWrN4gQeCIQEFDBcdAQE3AQ8JAhoCGA4CAj0aBhOIEaQ1boNBAQWPLQaBIYluhR+BEpVNAYEUiBiGY4ImOw
X-IronPort-AV: E=Sophos;i="4.77,749,1336341600"; 
   d="scan'208";a="152879998"
Received: from solaria.dimino.org ([213.186.38.18])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 11 Aug 2012 10:34:37 +0200
Received: from locris.home (AToulouse-552-1-61-42.w92-136.abo.wanadoo.fr [92.136.220.42])
	(using SSLv3 with cipher DHE-RSA-AES128-SHA (128/128 bits))
	(No client certificate requested)
	by solaria.dimino.org (Postfix) with ESMTPSA id C548A80083;
	Sat, 11 Aug 2012 10:34:36 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=dimino.org; s=dkim;
	t=1344674077; bh=2EzxqBSTfGpoWD2zj7gCZj1ACQOeIAp8ZdeoB4dsaoI=;
	h=Date:From:To:Cc:Subject:In-Reply-To:References;
	b=w66SiwHBOZdbPjsH3q3exi6tq/EvgOKoTIT1UFU5Lt4g07xDiBbDNfB9FrRIaOukj
	 65qos3fdw1n9Rt94KmNZi/fBVHIi/d3O+8oSsMEugyHhEY62oTBqFV5fMhP7QUqELW
	 9L92HlYcmLGnbpXj9P4plwIEkulZHTvFXy7D+WCg=
Date: Sat, 11 Aug 2012 10:34:35 +0200
From: =?UTF-8?B?SsOpcsOpbWll?= Dimino <jeremie@dimino.org>
To: Jean-Baptiste Jeannin <jeannin@cs.cornell.edu>
Cc: "caml-list@inria.fr" <caml-list@inria.fr>
Message-ID: <20120811103435.3362ceec@locris.home>
In-Reply-To: <50257D72.2090607@cs.cornell.edu>
References: <50257D72.2090607@cs.cornell.edu>
X-Mailer: Claws Mail 3.8.1 (GTK+ 2.24.10; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
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 =C3=A9crit :

> $ 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,

--=20
J=C3=A9r=C3=A9mie