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 3ADED81792 for ; Fri, 21 Jun 2013 17:48:48 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@gmail.com) identity=pra; client-ip=209.85.219.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of wojciech.meyer@gmail.com designates 209.85.219.53 as permitted sender) identity=mailfrom; client-ip=209.85.219.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@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-oa0-f53.google.com) identity=helo; client-ip=209.85.219.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="postmaster@mail-oa0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak4BAIR1xFHRVds1m2dsb2JhbABbgzpJrQuJZ4hDewgWDgEBAQEBBgsLCRQogiMBAQQBQAEbEgsBAwELBgUEBw0NISEBAREBBQEKEgYTEodpAQMJBgyfAIxNgn+EMQoZJwMKWId0AQUMjFiCYQQHg2EDlVyBZ4EpineDPxYphDY7 X-IPAS-Result: Ak4BAIR1xFHRVds1m2dsb2JhbABbgzpJrQuJZ4hDewgWDgEBAQEBBgsLCRQogiMBAQQBQAEbEgsBAwELBgUEBw0NISEBAREBBQEKEgYTEodpAQMJBgyfAIxNgn+EMQoZJwMKWId0AQUMjFiCYQQHg2EDlVyBZ4EpineDPxYphDY7 X-IronPort-AV: E=Sophos;i="4.87,913,1363129200"; d="scan'208";a="22851561" Received: from mail-oa0-f53.google.com ([209.85.219.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Jun 2013 17:48:28 +0200 Received: by mail-oa0-f53.google.com with SMTP id k14so9551739oag.26 for ; Fri, 21 Jun 2013 08:48:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=qVxqzntqfy0EftAfPjOrMVv0t45Raj9He+XFH8UZCcA=; b=FXE0C/V+EYLEitkAm50dkDjKkDslcw6J571Sc2n+e6ZL7x7GWzNZCyVicJC70jDIG5 /GQ6UK1jESCod5jRYYJEYF6WLJgz+MRX/dUnrLfNv+iG/JKalxLtuZmD+JlNuPOwVY/+ 4y+CHcK6MO7EptrW61AGBkidAe5pzgPPWQsYslra8VgOR/QzdD+NbLPDAxvUkKxLRfSr kT1qCow6cLc8gjDaInoVAERo0g1W7MGpB3usg87NxFkmV3jeOUPvqQEKDW8n8mhtCS2Q hYRxLn3+ZNaSFaGpMIt+VrhETA/GrWV00Jyj1UPgIBq3HPh4vThJdMWnGuwmBqP7NG1z 2//g== MIME-Version: 1.0 X-Received: by 10.60.124.194 with SMTP id mk2mr6002171oeb.104.1371829707883; Fri, 21 Jun 2013 08:48:27 -0700 (PDT) Received: by 10.182.130.227 with HTTP; Fri, 21 Jun 2013 08:48:27 -0700 (PDT) In-Reply-To: References: Date: Fri, 21 Jun 2013 16:48:27 +0100 Message-ID: From: Wojciech Meyer To: Bikal Gurung Cc: Caml List Content-Type: multipart/alternative; boundary=047d7b41451a6e4c6704dfabfe49 Subject: Re: [Caml-list] ocaml toplevel reloading module --047d7b41451a6e4c6704dfabfe49 Content-Type: text/plain; charset=ISO-8859-1 (alternatively you can use #mod_load too on ml file if you are on trunk) On Fri, Jun 21, 2013 at 4:47 PM, Wojciech Meyer wrote: > Hi, > > Please check if your interface file was recompiled, and the path to the > cmi file is correct. > > > On Wed, Jun 19, 2013 at 10:22 PM, Bikal Gurung < > bikal.gurung@lemaetech.co.uk> wrote: > >> Hi All, >> >> I load a module using #load "A.cmo";; in toplevel. I subsequently make >> change >> to A.ml and bytecode compile it. When I load it again using #load "A.cmo" >> in >> ocaml toplevel, I get an "The files _build/A.cmo and _build/A.cmo disagree >> over interface A. message. Is there a way of reloading "A.cmo" without >> restarting the ocaml toplevel? >> >> Bikal >> >> -- >> 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 >> > > --047d7b41451a6e4c6704dfabfe49 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
(alternatively you can use #mod_load too on ml file if you= are on trunk)


On Fri, Jun 21, 2013 at 4:47 PM, Wojciech Meyer &l= t;wojciech.me= yer@gmail.com> wrote:
Hi,

Plea= se check if your interface file was recompiled, and the path to the cmi fil= e is correct.

On Wed, Jun 19, 2013 at 10:22 PM, Bikal Gu= rung <bikal.gurung@lemaetech.co.uk> wrote:
Hi All,

I load a module using #load "A.cmo";; in toplevel. I subsequently= make change
to A.ml and bytecode compile it. When I load it again using #load "A.c= mo" in
ocaml toplevel, I get an "The files _build/A.cmo and _build/A.cmo disa= gree
over interface A. message. Is there a way of reloading "A.cmo" wi= thout
restarting the ocaml toplevel?

Bikal

--
Caml-list mailing list. =A0Subscription management and archives:
ht= tps://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


--047d7b41451a6e4c6704dfabfe49--