From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id JAA06665 for caml-redistribution; Mon, 20 Nov 1995 09:43:33 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id QAA04553 for ; Sun, 19 Nov 1995 16:52:46 +0100 Received: from ra.abo.fi (ra.abo.fi [130.232.18.2]) by concorde.inria.fr (8.7.1/8.6.9) with SMTP id QAA03069 for ; Sun, 19 Nov 1995 16:52:44 +0100 (MET) Received: from tanichka.abo.fi (root@tanichka.abo.fi [130.232.209.102]) by ra.abo.fi (8.6.10/8.6.10) with ESMTP id RAA11742; Sun, 19 Nov 1995 17:51:51 +0200 Received: from tanichka.abo.fi (jharriso@localhost [127.0.0.1]) by tanichka.abo.fi (8.6.10/8.6.10) with ESMTP id RAA18448; Sun, 19 Nov 1995 17:52:32 +0200 Message-Id: <199511191552.RAA18448@tanichka.abo.fi> To: caml-list@pauillac.inria.fr cc: John Harrison Subject: CAML Light system functions etc. Date: Sun, 19 Nov 1995 17:52:27 +0200 From: John Harrison Sender: weis A few quick questions about CAML Light: (1) Is there an interface to "tempnam" or something similar? (For creating unique temporary filenames). I looked in the "unix" library but couldn't find anything -- I think it'd be a convenient addition. (2) I'm not really convinced that integrating signal and exception handling is a good idea; it's neither pleasant nor efficient to always have to worry about signal exceptions popping up. Is it possible to make SIGINT terminate the evaluation of the current toplevel phrase, without passing a signal exception to the currently executing function? (3) Is there some hook to allow a user-defined function to be called after the evaluation and printing of each toplevel phrase? This would be nice for reporting run statistics etc. Thanks, John. ========================================================================= John Harrison | email: jharriso@ra.abo.fi Åbo Akademi University | web: http://www.abo.fi/~jharriso/ Department of Computer Science | phone: +358 (9)21 265-4049 Lemminkäisenkatu 14a | fax: +358 (9)21 265-4732 20520 Turku | home: +358 (9)21 2316132 FINLAND | time: UTC+2:00 =========================================================================