Re: [Caml-list] a question about Ocaml toplevel behavior

[Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>]

This actually looks like a bug.
Printing a value falls in the category where type information is
"asbolutely necessary”, so it should open the cmi.
Looking at the code, I do not see any immediate reason it wouldn’t work.
Well, it could happen if location.cmi is not available, but then I don’t
see how doing so extra stuff would help.
Can somebody open a PR on Mantis?

Jacques Garrigue

On 2018/03/12 00:06, Nicolás Ojeda Bär wrote:
> 
> Hello Matej,
> 
> My understanding is that the compiler will delay opening a .cmi file
> until absolutely necessary.
> Since it does not need to look into Location in order to compile the
> given phrase, the .cmi is not opened and the type Location.t remains
> abstract. But if you give the compiler an excuse to open location.cmi
> then the definition of the type Location.t will become known to the
> compiler and the toplevel will be able to print the values concretely.
> 
> For example, evaluating Location.none as in you did in your previous
> message in one thing that will cause the compiler to load the
> corresponding .cmi file thereby making Location.t concrete.
> 
> Best wishes,
> Nicolás
> 
> 
> On Sun, Mar 11, 2018 at 2:30 PM, Matej Košík <mail@matej-kosik.net> wrote:
>> Here is ta simplified version of the original question:
>> 
>> If I do:
>> 
>>  #use "topfind";;
>>  #require "compiler-libs.common";;
>>  Parse.implementation (Lexing.from_string "foo");;
>> 
>> What I see is this:
>> 
>>  - : Parsetree.structure =
>>  [{Parsetree.pstr_desc =
>>     Parsetree.Pstr_eval
>>      ({Parsetree.pexp_desc = Parsetree.Pexp_ident <abstr>; pexp_loc = <abstr>;
>>        pexp_attributes = []},
>>      []);
>>    pstr_loc = <abstr>}]
>> 
>> What confuses me is the presence of "<abstr>" stuff.
>> Why are they there?
>> Why don't I see the actual Ocaml terms (which do not belong to abstract types)?
>> 
>> --
>> 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