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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 835F87EE51 for ; Mon, 13 May 2013 08:22:12 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.54 as permitted sender) identity=mailfrom; client-ip=209.85.214.54; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-bk0-f54.google.com) identity=helo; client-ip=209.85.214.54; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-bk0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMBAICFkFHRVdY2jWdsb2JhbABagz6uApIjeggWDgEBAQEHCwsJEgYkgh8BAQVAARsSCwEDDAYFCw0NISIBEQEFAQoSBhMSh2cBAw8MnxiMPYJ+g1oKGScDCliHSgEFDI5pMweDVQOXLIEmjioWKYQ3Og X-IPAS-Result: AoMBAICFkFHRVdY2jWdsb2JhbABagz6uApIjeggWDgEBAQEHCwsJEgYkgh8BAQVAARsSCwEDDAYFCw0NISIBEQEFAQoSBhMSh2cBAw8MnxiMPYJ+g1oKGScDCliHSgEFDI5pMweDVQOXLIEmjioWKYQ3Og X-IronPort-AV: E=Sophos;i="4.87,659,1363129200"; d="scan'208";a="17058125" Received: from mail-bk0-f54.google.com ([209.85.214.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 May 2013 08:22:12 +0200 Received: by mail-bk0-f54.google.com with SMTP id it16so22887bkc.27 for ; Sun, 12 May 2013 23:22:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type:content-transfer-encoding; bh=SU7AU+t++dN2dH3196eHiNklTAG/IqnH9m+jFBHLMUs=; b=YAFwz6NFOYvMgNUHclk8aKaI7xeKSxDEkNOXknqLwxevYwpsZcDGAvJReyiO72NKsM 8a/9iKf20Lp+sExu9cSXrMngUJBkNjabG+19DosytjZncScjGdY+HhO4I7+BPteFVSRy rMc6AIj6UHub53/GzHqu4l122Vd7p/tikNmoImk/8N04YNchi+HkZ1i3+M9edoI/EPY6 kjWm65qnsBkfbFuJwpLexYSWShQsxtkd2ZrX6p1MvyYsm3fcgVF/90PVUzx3OzDp91mQ QiNpy+Nu2YbgM5SlM1heiX1SnS0fekp5fLW0tE1sitcmCiY5M36/7nlGPQ+ue8j0FaDL Okxw== X-Received: by 10.204.61.71 with SMTP id s7mr5146538bkh.74.1368426131484; Sun, 12 May 2013 23:22:11 -0700 (PDT) MIME-Version: 1.0 Received: by 10.205.83.144 with HTTP; Sun, 12 May 2013 23:21:31 -0700 (PDT) In-Reply-To: <51904E8A.9040603@riken.jp> References: <51904669.5040001@riken.jp> <51904E8A.9040603@riken.jp> From: Gabriel Scherer Date: Mon, 13 May 2013 08:21:31 +0200 Message-ID: To: Francois Berenger Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] smarter #load directive Following the caml-list discussion, and PR submission #5825 by Gr=E9goire Henry (with a patch!), the directive #mod_use "foo.ml" was added in trunk last November. It does not correspond to "load" because the module is not compiled using ocamlc (no .cmo is produced), but compiled by the toplevel in the current toplevel environment. The current implementation is a bit hackish, I think, and in particular toplevel directives are not allowed inside foo.ml -- I think they even are silently dropped. It behaves exactly as if you entered "module Foo =3D end;;" directly in the toplevel. On Mon, May 13, 2013 at 4:23 AM, Francois Berenger wrot= e: > On 05/13/2013 10:48 AM, Francois Berenger wrote: >> >> Hello, >> >> Was this integrated in the subversion trunk? >> >> I mean the >> #load "toto.ml";; >> that creates a Toto module automatically. > > > Or was it '#use "toto.ml";;' ? > > >> Thanks a lot, >> 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