[mercury-users] reading term

[Philippe Teuwen]

> where can I find some examples how to read in terms from a file. Is
> there an reverse function to print?

Hi,

Use 'io__read'.
"Reads a ground term of any type, written using standard
Mercury syntax, from the current or specified input stream.
The type of the term read is determined by the context
in which 'io__read' is used."

For examples, see how they did in this project:
www.cs.mu.oz.au/481/2004_projects/Goddard_Riella.pdf (parse.m)

Phil

PS: be careful, trying to mix it with univ types is a Very Bad Idea ;-)

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------