Module O.Top


module Top: sig .. end
Boucle interactive pour PCF + objets, comme S.Top.

val loop : (Pervasives.out_channel -> 'a -> unit) -> ('a Env.t -> O.Ast.t -> 'a) -> unit
loop print eval lance une boucle 'toplevel', en français boucle interactive. Une telle boucle permet d'évaluer une série de termes PCF dans un environnement qui va croissant.

Une fois lancée la boucle (par loop print eval), on voit une invite du style PCF> . En réponse à cette invite on peut écrire,

Dans tous les cas, la boucle appelle la fonction eval fournie comme eval env t, où Cet appel renvoie un résulat r de type 'a, qui est affiché par la fonction print fournie.

Enfin, la boucle interactive se rappelle, mais avec un environnement étendu par la liaison de x à r dans le cas où l'on avait écrit Let x = t;;.

L'effet général est celui de la boucle interactive de Caml.
See also Exemple d'utilisation de Toop.loop.