From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id AFDF5BC6B for ; Sat, 28 Jul 2007 14:29:25 +0200 (CEST) Received: from hedwig1.umh.ac.be (hedwig2.umh.ac.be [193.190.193.73]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6SCTP1m012220 for ; Sat, 28 Jul 2007 14:29:25 +0200 Received: from poincare.swapping.umh.ac.be ([10.101.27.25]) by hedwig1.umh.ac.be (8.13.6/8.13.6) with ESMTP id l6SCYNna1810660; Sat, 28 Jul 2007 14:34:23 +0200 Received: from [127.0.0.1] (helo=localhost ident=trch) by poincare.swapping.umh.ac.be with esmtp (Exim 4.67) (envelope-from ) id 1IElQ8-0004W0-DC; Sat, 28 Jul 2007 14:29:20 +0200 Date: Sat, 28 Jul 2007 14:29:20 +0200 (CEST) Message-Id: <20070728.142920.183305450.Christophe.Troestler+ocaml@umh.ac.be> To: "O'Caml Mailing List" Subject: Re: [Caml-list] Re: Void type? From: Christophe TROESTLER In-Reply-To: <46AAFA8F.1000501@starynkevitch.net> References: <20070728075825.GA3508@galois> <46AAFA8F.1000501@starynkevitch.net> Organization: University of Mons-Hainaut X-Mailer: Mew version 5.2.50 on Emacs 22.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 2.1 (www dot roaringpenguin dot com slash mimedefang) X-Miltered: at discorde with ID 46AB36A5.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; christophe:01 troestler:01 christophe:01 troestler:01 ocaml:01 0200,:01 basile:01 wrote:01 exception:01 caml-list:01 functions:01 umh:01 int:01 int:01 loops:02 On Sat, 28 Jul 2007 10:13:03 +0200, Basile STARYNKEVITCH wrote: > > A void type would be useful for bizarre functions like f : int -> > void this would mean that f never returns normally, i.e. that it > loops indefinitely, or calls exit (to stop the entire program), or > throws an exception but never returns. And even then f : int -> 'a may be more appropriate. My 0.02¤, ChriS