From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by margaux.inria.fr, Mon, 24 May 93 09:43:34 +0200 Received: from concorde.inria.fr by margaux.inria.fr, Fri, 21 May 93 12:08:19 +0200 Received: from dcs.ed.ac.uk (stroma.dcs.ed.ac.uk) by concorde.inria.fr; Fri, 21 May 1993 12:08:51 +0200 Received: from carna.dcs.ed.ac.uk by dcs.ed.ac.uk id aa19370; 21 May 93 11:08 BST Received: from bcp.localhost.dcs.ed.ac.uk by carna.dcs.ed.ac.uk; Fri, 21 May 93 11:08:32 +0100 To: caml-list@margaux Subject: Non-blocking input in caml-light Reply-To: benjamin.pierce@dcs.ed.ac.uk Date: Fri, 21 May 93 11:08:29 +0100 Message-Id: <4194.737978909@ed.dcs> From: Benjamin Pierce Sender: weis@margaux Est-ce qu'on peut faire un "read-char" tel que l'on ne bloque pas si il n'y a rien a lire? Merci, Benjamin Pierce