From dcd3ac696be98e1738d46ad6dcae4584ea76768b Mon Sep 17 00:00:00 2001 From: Jim Date: Mon, 23 Mar 2015 12:35:14 -0400 Subject: [PATCH] untyped eval: tweaks --- code/untyped_evaluator.ml | 2 +- code/untyped_evaluator_complete.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml index edfc6ee3..50092fb2 100644 --- a/code/untyped_evaluator.ml +++ b/code/untyped_evaluator.ml @@ -72,7 +72,7 @@ let rec lookup (sought_ident : ident) (env : env) : term option = eval raises this exception when it fails to reduce/evaluate a term, because it has components for which no reduction/evaluation is defined, such as `x y`. The - reduction-based interpreter just signals this with a normal + substitute-and-repeat interpreter just signals this with a normal return value; but the environment-based interpreter uses an exception to abort prematurely. diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml index 930491f1..51efce91 100644 --- a/code/untyped_evaluator_complete.ml +++ b/code/untyped_evaluator_complete.ml @@ -72,7 +72,7 @@ let rec lookup (sought_ident : ident) (env : env) : term option = eval raises this exception when it fails to reduce/evaluate a term, because it has components for which no reduction/evaluation is defined, such as `x y`. The - reduction-based interpreter just signals this with a normal + substitute-and-repeat interpreter just signals this with a normal return value; but the environment-based interpreter uses an exception to abort prematurely. -- 2.11.0