From aed3aa32e62846a16da55fc7be4cecba92ed5e2b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Mar 2009 20:34:21 -0400
Subject: Conversion of functions to CPS, to facilitate ServerCall

---
 src/reduce_local.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/reduce_local.sml')

diff --git a/src/reduce_local.sml b/src/reduce_local.sml
index 8b963e1b..a49d7115 100644
--- a/src/reduce_local.sml
+++ b/src/reduce_local.sml
@@ -51,7 +51,7 @@ fun exp env (all as (e, loc)) =
         let
             fun find (n', env, nudge, lift) =
                 case env of
-                    [] => raise Fail "ReduceLocal.exp: ERel"
+                    [] => (ERel (n + nudge), loc)
                   | Lift lift' :: rest => find (n', rest, nudge + lift', lift + lift')
                   | Unknown :: rest =>
                     if n' = 0 then
@@ -156,4 +156,6 @@ fun reduce file =
         map doDecl file
     end
 
+val reduceExp = exp []
+
 end
-- 
cgit v1.2.3