Hi,

In the following piece of code, I can understand how to use 
'throw' from the file 'exception'.

read_int(Int) -->
         io__read_line_as_string(Result),
         {       Result = ok(Line),
                 remove_suffix(Line, "\n", IntString),
                 string__to_int(IntString, IntVal)
                 ->
                 Int = IntVal
         ;
                 throw("invalid entry, end-of-file, or I/O 
error")
         }.

  I would like to know various other pred, mode and inst mentioned 
in the file 'exception'. I mean, I want to know how to use it. Plz 
do show a small piece of code for each.

Thanks,

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

