[mercury-users] Way to exit immediately from a Mercury program?

[Elmar Haneke]

> Is there any way to call exit() in a Mercury program?  I've found 
> io.set_exit_status/3, but I thought there might be an io.exit predicate.

You can define it on your own by using the "pragma foreign_proc" to 
call some C-function.

-- 
Mit freundlichen Grüßen

Elmar Haneke

===========================================================
|Dr. Elmar Haneke                   Tel: +49-2241-39749-0 |
|Haneke Software                    Fax: +49-2241-39749-30|
|Johannesstraße 41                  WWW: www.haneke.de    |
|53721 Siegburg                     Mail: elmar at haneke.de |
===========================================================





--------------------------------------------------------------------------
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
--------------------------------------------------------------------------