From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA15463 for caml-red; Fri, 17 Nov 2000 11:50:05 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA14639 for <caml-list@pauillac.inria.fr>; Thu, 16 Nov 2000 18:34:11 +0100 (MET)
Received: from imag.imag.fr (imag.imag.fr [129.88.30.1])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eAGHYA517397
	for <caml-list@inria.fr>; Thu, 16 Nov 2000 18:34:10 +0100 (MET)
Received: from imag.fr (skolem.imag.fr [129.88.38.191])
	by imag.imag.fr (8.9.3/8.8.6) with ESMTP id SAA07297
	for <caml-list@inria.fr>; Thu, 16 Nov 2000 18:34:10 +0100 (MET)
Message-ID: <3A1419FD.CE44DEA4@imag.fr>
Date: Thu, 16 Nov 2000 18:31:41 +0100
From: Michel Levy <Michel.Levy@imag.fr>
Organization: LSR
X-Mailer: Mozilla 4.72 [en] (X11; U; Linux 2.2.16-3 i686)
X-Accept-Language: en
MIME-Version: 1.0
To: caml-list@inria.fr
Subject: pourquoi y-a-t-il des exceptions? 
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Sender: weis@pauillac.inria.fr

Je me livre (pour le compte de mes étudiants) à une introspection de
Caml, en essayant d'introduire les exceptions dans le langage
mini-Caml du livre "Le langage Caml" de Pierre Weiss et Xavier Leroy.
Pour faire bien les choses, j'ai commencé par lire la définition de
Standart ML et je n'ai pas compris les règles de liaisons des 
eceptions (règle 130). Pourquoi dans cette définition un état d'un
programme doit-il comporter non seulement l'état de la mémoire
mais aussi les noms des exceptions ?
Et d'ailleurs pourquoi y-a-t-il le type exception, ne pourrait-on pas
appliquer "raise" à n'importe quelle valeur qui deviendrait une
exception déclanchée (cf règle 107 de la définition de Standart ML) ?

I'am trying to write an "Caml introspection", by introducing the
exception in the mini-Caml language 
of Pierre Weiss and Xavier Leroy book "Le langage Caml".
To do that, I have read the definition of Standard ML (revised 1997) and
I don't understand the Exception Binding rules (130).
Why does a program's state include not only the memory state, but also
the exceptions names ?


-- 
Michel Levy  
D106 - L.S.R.     B.P.72 - 38042 SAINT MARTIN D'HERES CEDEX - France
e.mail : Michel.Levy@imag.fr    tel :(33)476827246
http://www-lsr.imag.fr/Les.Personnes/Michel.Levy