Module Eval

module Eval: sig .. end

Évaluation de PCF (TD 2)

exception Error of string

À lever/lancer en cas d'erreur due au programme source. Par ex. 1 + (Fun x -> x).

val subst : S.Ast.t -> Var.t -> S.Ast.t -> S.Ast.t

Substitution : subst e1 x e2 renvoie e1 avec la variable x remplacée par e2, noté e1[x/e1] dans le cours.

val evaln : S.Ast.t -> S.Ast.t

val evalv : S.Ast.t -> S.Ast.t

Deux évaluateurs, par nom et par valeur