Re: [Caml-list] Print values like the toplevel's printer

Re: [Caml-list] Print values like the toplevel's printer

[Clément Capel]

Hello,

you should take a look at the function "execute_phrase" 
(toplevel/toploop.ml)
which evaluate and print a term.
Two interesting functions are called:
- outval_of_value
- Printtyp.tree_of_type_scheme
and
!print_out_phrase

I think the parameter "v" is the value...


Clément Capel


Le 5 nov. 04, à 13:23, Wolfgang Müller a écrit :

> Hi,
>
> I would like to print values to a file in a human-readable manner 
> without
> having to compose the output writers of print_int and friends. In 
> short, I
> would like to use the toplevel's function for screen output of 
> structured
> values.
>
> Is there a simple way, a FM or a mailing list you can point me to?
>
> I googled quite a bit, but apparently not with the right terms.
>
> Cheers,
> Wolfgang
> -- 
> Dr. Wolfgang Müller
> LS AI 1
> Universität Bayreuth
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

Re: [Caml-list] Print values like the toplevel's printer

[Daniel Bünzli]

Le 9 nov. 04, à 00:44, brogoff a écrit :

> I wonder if there is an alternative
> approach being considered to provide some of the desired features, like
> safe value IO, dynamic typing, and overloading?

Although research oriented you may want to have a look at acute, an 
extension of an ocaml core to support, among other things, type safe 
value IO :

<http://www.cl.cam.ac.uk/users/pes20/acute/>

Daniel

Re: [Caml-list] Print values like the toplevel's printer

[brogoff]

On Sat, 6 Nov 2004, Jim wrote:
> What we really need is generics.  I thought there was a post in the
> mailing list some time ago saying that generics was going to be
> appear in O'Caml at some point, but I haven't seen anything for a long
> time.  Does anyone know if it is still planned?
>
> Regards,
> Jim

I thought that development was to continue in the OCaml branch after 3.08.
Looking at the CVS, whre nothing has been updated for over seven months, it
appears abandoned. If that's the case, I wonder if there is an alternative
approach being considered to provide some of the desired features, like
safe value IO, dynamic typing, and overloading? I was previously under the
impression that safe value IO was a very desired feature, and that once the
machinery for that was aded that the rest of GCaml would be folded in quickly.

It isn't clear to me how the GCaml extensions would work with all of the
other extensions in OCaml (objects and variants and...) and it is already a
kind of complicated language. It would be a lot easier if the generics were just
being added to Caml Special Light.

-- Brian

Re: [Caml-list] Print values like the toplevel's printer

[Jim]

On Fri, Nov 05, 2004 at 01:23:13PM +0100, Wolfgang Müller wrote:

> I would like to print values to a file in a human-readable manner without 
> having to compose the output writers of print_int and friends. In short, I 
> would like to use the toplevel's function for screen output of structured 
> values.
> 
> Is there a simple way, a FM or a mailing list you can point me to?
> 
> I googled quite a bit, but apparently not with the right terms.

Aside from clever uses of various bits of the top level, you can also
use camlp4 to automatically generate print functions for types.  I think
there is an example in the camlp4 manual.

What we really need is generics.  I thought there was a post in the
mailing list some time ago saying that generics was going to be
appear in O'Caml at some point, but I haven't seen anything for a long
time.  Does anyone know if it is still planned?

Regards,
Jim

Re: [Caml-list] Print values like the toplevel's printer

[Clément Capel]

Hello,

you should take a look at the function "execute_phrase" 
(toplevel/toploop.ml)
which evaluate and print a term.
Two interesting functions are called:
- outval_of_value
- Printtyp.tree_of_type_scheme
and
!print_out_phrase

I think the parameter "v" is the value...


Clément Capel


Le 5 nov. 04, à 13:23, Wolfgang Müller a écrit :

> Hi,
>
> I would like to print values to a file in a human-readable manner 
> without
> having to compose the output writers of print_int and friends. In 
> short, I
> would like to use the toplevel's function for screen output of 
> structured
> values.
>
> Is there a simple way, a FM or a mailing list you can point me to?
>
> I googled quite a bit, but apparently not with the right terms.
>
> Cheers,
> Wolfgang
> -- 
> Dr. Wolfgang Müller
> LS AI 1
> Universität Bayreuth
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] Print values like the toplevel's printer

[pad]

Wolfgang Müller <Wolfgang.Mueller2@uni-bayreuth.de> writes:

> > I recently post a message to allow this (with generic print in the subject
> > of the message).
> 
> Thanks a lot, but isn't there something more simple without forking processes?

well it is quite simple to fork a process :) and it is maximum reuse :)

why don't you like this solution ? is it because it is slow ? ugly ?
there is some way to improve easily my solution by not forking each time for each
call to generic_print  by using a pipe with the toplevel
(I plan to do a tracer for ocaml better than the #trace using this technique)


> 
> Is there no way to reuse the code that is already in the toplevel?
> 
> Cheers,
> Wolfgang

Re: [Caml-list] Print values like the toplevel's printer

[Wolfgang Müller]

> I recently post a message to allow this (with generic print in the subject
> of the message).

Thanks a lot, but isn't there something more simple without forking processes?

Is there no way to reuse the code that is already in the toplevel?

Cheers,
Wolfgang

-- 
Dr. Wolfgang Müller
LS AI 1
Universität Bayreuth

Re: [Caml-list] Print values like the toplevel's printer

[padiolea]

> Hi,
>
> I would like to print values to a file in a human-readable manner without
> having to compose the output writers of print_int and friends. In short, I
> would like to use the toplevel's function for screen output of structured
> values.

I recently post a message to allow this (with generic print in the subject
of the message).

the code is available at:
 http://www.irisa.fr/prive/padiolea/hacks/generic_print.ml

example:
  let _ = print_string (generic_print [[1;3];[2;9;8];[3;4]] "int list
list" in
  let _ = print_string (generic_print [1;3;2;9;8;3;4] "int list") in
   ...

 test:
  ./test_generic
  ==>
   [[1; 3]; [2; 9; 8]; [3; 4]]
   [1; 3; 2; 9; 8; 3; 4]




>
> Is there a simple way, a FM or a mailing list you can point me to?



>
> I googled quite a bit, but apparently not with the right terms.
>
> Cheers,
> Wolfgang
> --
> Dr. Wolfgang Müller
> LS AI 1
> Universität Bayreuth
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>