« Return to Thread: Please comment! setup_call_cleanup/3 draft.

Re: Please comment! setup_call_cleanup/3 draft.

by Paulo Moura :: Rate this Message:

Reply to Author | View in Thread


On 2009/07/02, at 18:25, Ulrich Neumerkel wrote:

> Dear setup_call_cleanup/3 users!
>
> Rather late, I have finally finished the draft for
> setup_call_cleanup/3 to be considered by WG17.
> The hardest part has been the implementation dependent
> aspects related to determinacy detection.
>
> In the meantime also a use in tipc is no longer implementation
> dependent.
>
> Please comment as soon as possible as I would like to
> send the draft to uor convener in time.
>
> http://www.complang.tuwien.ac.at/ulrich/iso-prolog/cleanup


At the end of the document, you could list all other Prolog compilers  
implementing call_cleanup/2-3: B-Prolog, CxProlog, Qu-Prolog, and XSB  
(hope I'm not missing any compiler). You wrote:

        "Many have call_cleanup/2 but do not guarantee that Cleanup will be  
called eventually."

Which of the Prolog compilers I list above have you tested?

Cheers,

Paulo


-----------------------------------------------------------------
Paulo Jorge Lopes de Moura, PhD
Assistant Professor
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 3.18  Ext. 3276
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:pmoura@...>

Home page: <http://www.di.ubi.pt/~pmoura>
Research:  <http://logtalk.org/> Blog: <http://blog.logtalk.org/>
-----------------------------------------------------------------






_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

 « Return to Thread: Please comment! setup_call_cleanup/3 draft.