From 5f4eb9b5b83f86fbd18ecd6dd431b5ad64e7a6a7 Mon Sep 17 00:00:00 2001 From: Jim Date: Sun, 22 Mar 2015 08:14:02 -0400 Subject: [PATCH] add comments to untyped_evals again --- code/untyped_evaluator.ml | 8 ++++---- code/untyped_evaluator_complete.ml | 8 ++++---- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml index e5ce1c12..3fe3ac62 100644 --- a/code/untyped_evaluator.ml +++ b/code/untyped_evaluator.ml @@ -15,10 +15,6 @@ `reduce (App(Lambda("x",Var "x"),Lambda("y",Var "y")))` `evaluate (App(Lambda("x",Var "x"),Lambda("y",Var "y")))` - The environments play absolutely no role in the simplified V1 interpreter - presented here. In the fuller code, they have a limited role in the V1 - interpreter. In the V2 interpreter, the environments are essential. - The two interpreters presented below are (V1) a substitute-and-replace interpreter, and (V2) an environment-based interpreter. We discuss the differences between these in the notes. @@ -38,6 +34,10 @@ result values. But in the fuller code from which this is simplified, it makes more sense, because there we also have literal number and boolean values as results, too. + + The environments play absolutely no role in the simplified V1 interpreter + presented here. In the fuller code, they have a limited role in the V1 + interpreter. In the V2 interpreter, the environments are essential. *) type identifier = string diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml index 308f85a0..ed34138d 100644 --- a/code/untyped_evaluator_complete.ml +++ b/code/untyped_evaluator_complete.ml @@ -15,10 +15,6 @@ `reduce (App(Lambda("x",Var "x"),Lambda("y",Var "y")))` `evaluate (App(Lambda("x",Var "x"),Lambda("y",Var "y")))` - The environments play absolutely no role in the simplified V1 interpreter - presented here. In the fuller code, they have a limited role in the V1 - interpreter. In the V2 interpreter, the environments are essential. - The two interpreters presented below are (V1) a substitute-and-replace interpreter, and (V2) an environment-based interpreter. We discuss the differences between these in the notes. @@ -38,6 +34,10 @@ result values. But in the fuller code from which this is simplified, it makes more sense, because there we also have literal number and boolean values as results, too. + + The environments play absolutely no role in the simplified V1 interpreter + presented here. In the fuller code, they have a limited role in the V1 + interpreter. In the V2 interpreter, the environments are essential. *) type identifier = string -- 2.11.0