Module T.Top


module Top: sig .. end
Boucle interactive pour PCF typé, voir aussi S.Top

val loop : (T.Type.t Env.t -> T.Ast.t -> T.Type.t) -> unit
Boucle interactive pour PCF typé, limitée aux types.

L'appel loop check appelle indéfiniment le vérificateur check, avec un environnement étendu par types des définitions.

val loop_eval : (T.Type.t Env.t -> T.Ast.t -> T.Type.t) ->
(Pervasives.out_channel -> 'a -> unit) -> ('a Env.t -> T.Ast.t -> 'a) -> unit
L'appel loop_eval check print eval lance une boucle interactive complète qui combine vérification de type (par check) et évaluation (par eval). Les valeurs (type 'a) sont affichées par print.

Un double environnement (pour les types T.Type.t et les valeurs 'a) est maintenu.