Comment author: administrator

Je sais que c'est quasiment impossible à fixer, mais...

$ ocaml
Objective Caml version 3.00+24 (2001-03-03)

let x = ref [];;

val x : '_a list ref = {contents=[]}

(List.hd !x + 1, not 3);;

This expression has type int but is here used with type bool

x;;

• : int list ref = {contents=[]}

Le type de x a changé bien que ma seconde expression ait été
rejetée...

Bonjour Francois,

C'est loin d'etre impossible, et il me semble avoir discute' avec Didier
sur comment ca peut se fait pour un cout raisonnable.
Cependant, l'interet semble limite': ce n'est pas le seul phenomene
irreversible dans le toplevel. Par exemple des qu'on utilise la commande
#load pour rechager un module dont l'interface a ete modifiee, la nouvelle
implementation est chargee mais pas l'interface. Ca a des consequences plus
grave, comme des core-dump intempestifs...

Jacques

Comment author: administrator

Cependant, l'interet semble limite': ce n'est pas le seul phenomene
irreversible dans le toplevel.

Oui, c'est vrai... En fait je le signalais parce que je me demandais
si c'était un problème connu, mais je vois que oui.

--
François Pottier
Francois.Pottier@inria.fr
http://pauillac.inria.fr/~fpottier/

Comment author: administrator

Too hard to get right.