From: Jim Date: Mon, 23 Mar 2015 16:35:14 +0000 (-0400) Subject: untyped eval: tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=commitdiff_plain;h=dcd3ac696be98e1738d46ad6dcae4584ea76768b;hp=-c;p=lambda.git untyped eval: tweaks --- dcd3ac696be98e1738d46ad6dcae4584ea76768b 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.