From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <H.Tews@cs.ru.nl>
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=none autolearn=disabled 
	version=3.1.3
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id 12D98BC0A
	for <caml-list@yquem.inria.fr>; Wed, 23 May 2007 09:44:52 +0200 (CEST)
Received: from smeltpunt.science.ru.nl (smeltpunt.science.ru.nl [131.174.16.145])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4N7ipxO003815
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL)
	for <caml-list@yquem.inria.fr>; Wed, 23 May 2007 09:44:51 +0200
Received: from tandem.cs.ru.nl [131.174.142.18]  (helo=tandem.cs.ru.nl)
	by smeltpunt.science.ru.nl (8.13.7/5.11) with ESMTP id l4N7ioPm026131
	for <caml-list@yquem.inria.fr>; Wed, 23 May 2007 09:44:50 +0200 (MEST)
Received: from tews by tandem.cs.ru.nl with local (Exim 4.63)
	(envelope-from <tews@tandem.cs.ru.nl>)
	id 1HqlWi-0004X3-Tb
	for caml-list@yquem.inria.fr; Wed, 23 May 2007 09:44:56 +0200
From: Hendrik Tews <H.Tews@cs.ru.nl>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Teaching bottomline, part 2: what went right.
References: <1179871820.6966.77.camel@Blefuscu>
Date: Wed, 23 May 2007 09:44:56 +0200
In-Reply-To: <1179871820.6966.77.camel@Blefuscu> (David Teller's message of
	"Tue, 22 May 2007 18:10:20 -0400")
Message-ID: <wwu3b1ox9tz.fsf@tandem.cs.ru.nl>
User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Scanned-By: MIMEDefang 2.56 on 131.174.16.145
X-Miltered: at concorde with ID 4653F0F3.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; hendrik:01 tews:01 tews:01 univ-orleans:01 runtime:01 hendrik:01 exception:01 caml-list:01 writes:01 terminate:01 terminate:01 marshal:01 let:03 raise:03 teaching:07 

David Teller <David.Teller@univ-orleans.fr> writes:

   * One of my students did manage to write a function with type 'a -> 'b
   without using Obj or Marshal. 

It's easy if the function doesn't have to terminate:

   let f x = raise Not_found;;

Does the students function terminate without exception or other
kinds of runtime errors?

Bye,

Hendrik