On représente ici graphiquement le texte comm en détaillant la valeur de représentation du texte lect, défini localement à fic :
Du fait des instanciations de certains paramètres du texte lect, depuis le texte ctx1, on "voit" l'environnement suivant :
qui a la forme évaluée :
Le texte Lire est comme suit :
(en particulier, l'utilisation du texte lect fait intervenir un environnement local d'emploi, qui comporte la référence au texte RANG et la définition des textes RGLOG et VAL).
L'utilisation du texte Lire, dans le contexte ctx1, c'est-à-dire l'expression :
(use Lire
((ref ctx1)))
conduit à l'évaluation suivante :
Remarques sur l'évaluation
- Les textes
NOM,RANGetOBJsont visibles tout au long de l'évaluation de la représentation deLire. - L'évaluation de l'utilisation du texte
lects'effectue en deux temps :- évaluation de la référence au texte
RANG: le texte est visible puisque la totalité de l'évaluation est faite dans le contextectx1; - évaluation de l'utilisation
lect: le texte est visible, du fait de la référence évaluée précédente, et les paramètres non encore instanciés delectsont instanciés par les définitions des textesRGLOGetVAL, localement à l'utilisation.
- évaluation de la référence au texte
- Le résultat retourné par l'évaluation est :
