From 0cb89c90973c0c5c74d7c3cfd929ca95946d44e4 Mon Sep 17 00:00:00 2001 From: Jim Date: Wed, 25 Mar 2015 05:59:47 -0400 Subject: [PATCH] fix result types on ski_evaluator --- code/ski_evaluator.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/code/ski_evaluator.ml b/code/ski_evaluator.ml index 78378803..11e8dd4e 100644 --- a/code/ski_evaluator.ml +++ b/code/ski_evaluator.ml @@ -42,7 +42,7 @@ let rec reduce_try3 (t:term):term = match t with type to emphasize the parallels with the untyped interpreter. *) type reduceOutcome = AlreadyReduced | ReducedTo of term - let reduce_if_redex (t : term) : term = match t with + let reduce_if_redex (t : term) : reduceOutcome = match t with | App(I,a) -> ReducedTo a | App(App(K,a),b) -> ReducedTo a | App(App(App(S,a),b),c) -> ReducedTo (App(App(a,c),App(b,c))) @@ -64,7 +64,7 @@ let rec reduce_try3 (t:term):term = match t with type reduceOutcome = AlreadyReduced | ReducedTo of term - let rec reduce_once (t : term) : term = match t with + let rec reduce_once (t : term) : reduceOutcome = match t with | App(a, b) -> (match reduce_once a with | ReducedTo a' -> ReducedTo (App(a',b)) | AlreadyReduced -> (match reduce_once b with @@ -96,7 +96,7 @@ let rec reduce_try3 (t:term):term = match t with | App(App(App(S,_),_),_) -> true | _ -> false - let rec reduce_head_once (t : term) : term = match t with + let rec reduce_head_once (t : term) : reduceOutcome = match t with | App(a, b) -> (match reduce_head_once a with | ReducedTo a' -> ReducedTo (App(a',b)) (* now we only try to reduce b when App(a,b) is a redex *) -- 2.11.0