From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 4992A7FDE3
	for <caml-list@sympa.inria.fr>; Tue,  7 Jun 2016 14:48:54 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.26,433,1459807200"; 
   d="scan'208";a="180454202"
Received: from pl-59055.paris.inria.fr (HELO pl-59055.rocqadm.inria.fr) ([128.93.64.92])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 07 Jun 2016 14:48:54 +0200
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.87)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1bAGRB-0000e8-T7
	for caml-list@inria.fr; Tue, 07 Jun 2016 14:48:53 +0200
Date: Tue, 7 Jun 2016 14:48:53 +0200
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20160607124853.GA2469@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
References: <CA++P_gcRMG1xp_s-1d3-p9iVfMZNXn+mLSe-Cn2wVh5D_s=jew@mail.gmail.com>
 <5756C0C2.8010201@femto-st.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <5756C0C2.8010201@femto-st.fr>
Subject: Re: [Caml-list] How to include files dynamically

Nicolas Ratier (2016/06/07 14:40 +0200):
> Hello,
> 
> Is there a way to include files dynamically ?
> a kind of :
> 
> let aaa = "myfile.ml";;
> #use aaa;;
> 
> Thanks,

Have you looked at the dynlink module?

As far as I know it can load only object files so you would have to
compile your .ml file before. Not sure there is a better alternative.

Sébastien.