From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 AC3507EEEB for ; Tue, 4 Dec 2012 09:58:37 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.170; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.170 as permitted sender) identity=mailfrom; client-ip=209.85.223.170; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; 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@mail-ie0-f170.google.com) identity=helo; client-ip=209.85.223.170; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ie0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AocBAAm6vVDRVd+qm2dsb2JhbAAqGqtbklAIFg4BAQEBAQgJCwkUJ4IeAQEFQAEbEgsBAwwGBQsNDSEiAREBBQEKEgYTEodrAQMPDC2gDIwzgXCBCoUeChknAwpZiHUBBQyMNIRBA5YCgRyNSxYphBQ X-IronPort-AV: E=Sophos;i="4.84,213,1355094000"; d="scan'208";a="164690764" Received: from mail-ie0-f170.google.com ([209.85.223.170]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Dec 2012 09:58:36 +0100 Received: by mail-ie0-f170.google.com with SMTP id k10so5444530iea.15 for ; Tue, 04 Dec 2012 00:58:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=kPobnR4EsQ3YSnruuMXphHaZEZ4+TR5GshW6fvp0S94=; b=gzUiDaEMeLkFzLvdLQydua3etw6Cb07oMPgkQpbunhPdnaFwL6b4E5ttIrtw0P7EjW jp3ktVztgsFqDWb3KgBc8z6+shByI41ONH0zqS7LsxuH4jk4z7Df7rtXqf4VN6dtpIo9 xvMRDD3o/ZN17zx9Gl3L3ViCPDprrtfecufgi9cTuv37F225B9Dp/deb+UiTWBHv/Xcr IUNuFVlxUIEb294/pQBs/iYVMEt0xjI8ZS645V7V3GhF3GfoK9qsQGXQvx6+pTpVhsH8 gn32SBXr1IzZ/mciRJ4TeixaGDXbVOG0BeWjFjTpUjSbYzqyMQ9YxS5pva+B8oRelodq S+wQ== Received: by 10.50.213.69 with SMTP id nq5mr1805141igc.70.1354611515158; Tue, 04 Dec 2012 00:58:35 -0800 (PST) MIME-Version: 1.0 Received: by 10.50.184.199 with HTTP; Tue, 4 Dec 2012 00:57:53 -0800 (PST) In-Reply-To: <50BDB856.7060203@riken.jp> References: <50BDB856.7060203@riken.jp> From: Gabriel Scherer Date: Tue, 4 Dec 2012 09:57:53 +0100 Message-ID: To: Francois Berenger Cc: caml-list Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] creating a module from a #use directive in the toplevel, or so See this discussion on the caml-list: https://sympa.inria.fr/sympa/arc/caml-list/2012-11/msg00021.html and in particular this message of Gerd: https://sympa.inria.fr/sympa/arc/caml-list/2012-11/msg00024.html and this one by Gr=E9goire: https://sympa.inria.fr/sympa/arc/caml-list/2012-11/msg00032.html Gr=E9goire's #mod_use directive has been included in trunk ( following bug report http://caml.inria.fr/mantis/view.php?id=3D5825 ), so it may be available by default in future versions of OCaml. On Tue, Dec 4, 2012 at 9:46 AM, Francois Berenger wrote: > Hello, > > Is there a way to do something like this in the toplevel: > > module M =3D (#use "source_for_module_m.ml") ;; > > Thanks, > F. > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs