Version française
Home     About     Download     Resources     Contact us    
Browse thread
Print values like the toplevel's printer
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Wolfgang Müller <Wolfgang.Mueller2@u...>
Subject: Print values like the toplevel's printer
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