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