caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: "Grégoire Henry" <henry@pps.univ-paris-diderot.fr>
Cc: Alain Coste <alaincoste@club-internet.fr>, caml-list@inria.fr
Subject: AW: [Caml-list] Why are modules handled differently by the interpreter and the compiler
Date: Mon, 05 Nov 2012 12:23:31 +0100	[thread overview]
Message-ID: <1352114611.8536.18@samsung> (raw)
In-Reply-To: <20121105023055.GA26666@mlqds.hnr.gr> (from henry@pps.univ-paris-diderot.fr on Mon Nov  5 03:30:55 2012)

Cool. I suggest you submit this as a patch.

One minor error, though: In case of an exception Toploop.parse_use_file  
should also be reset.

Gerd

Am 05.11.2012 03:30:55 schrieb(en) Grégoire Henry:
> > What could be implemented as an extension is a #use_as_module
> > directive that adds the implicit module. This could be in deed
> > useful for debugging, especially when it overlooks the mli file if
> > present - if you #load, the definition hiding of the mli file takes
> > place, and you cannot see unexported definitions anymore. Of course,
> > this is sometimes in the way when you test things out.
> >
> > Now that compiler-libs is installed this extension could probably
> > even be implemented outside the compiler. Anyone up for it?
> 
> Well, here it is:
> 
>   $ ocamlmktop -o myocaml mod_use.ml
>   $ cat test.ml
>   let x = 53
>   $ ./myocaml
>         OCaml version 4.00.1
> 
>   # #mod_use "test.ml";;
>   module Test : sig val x : int end
>   # Test.x;;
>   - : int = 53
> 
> Regards,
> Grégoire
> 
> --
> 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



-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------

  reply	other threads:[~2012-11-05 11:23 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-11-03 15:21 Alain Coste
2012-11-03 15:34 ` Didier Cassirame
2012-11-03 15:55   ` Didier Cassirame
2012-11-03 15:58     ` Didier Cassirame
2012-11-03 16:52     ` Alain Coste
2012-11-03 17:14       ` Gabriel Scherer
2012-11-03 15:56 ` AW: " Gerd Stolpmann
2012-11-05  2:30   ` Grégoire Henry
2012-11-05 11:23     ` Gerd Stolpmann [this message]
2012-11-05 19:53     ` Alain Coste

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1352114611.8536.18@samsung \
    --to=info@gerd-stolpmann.de \
    --cc=alaincoste@club-internet.fr \
    --cc=caml-list@inria.fr \
    --cc=henry@pps.univ-paris-diderot.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).